Theorem Int.log_ofNat

Modification history