Theorem Nat.div_lt_self

Modification history