Theorem Int.log_natCast

Modification history