Theorem Nat.clog_of_right_le_one

Modification history