Theorem Fin.natAdd_subNat_castIso

Modification history