Theorem Nat.ceilRoot_def

Modification history