Theorem Nat.floorRoot_def

Modification history