Theorem Nat.floor_add_natCast

Modification history