Theorem Nat.div_eq_self

Modification history