Theorem IsSimpleOrder.of_forall_eq_top

Modification history