Theorem Fin.natCast_strictMono

Modification history