Theorem Nat.div_lt_self'

Modification history