axiom_result.ml 5.23 KB