Theorem Fin.addNat_castIso

Modification history