Theorem natCast_floor_eq_intCast_floor

Modification history