Theorem Nat.floor_nat

Modification history