Theorem Measurable.nat_floor

Modification history