Theorem Num.of_natCast

Modification history