Theorem Fin.natCast_mono

Modification history