Theorem Nat.floor_div_natCast

Modification history