Theorem Nat.floor_add_nat

Modification history