Theorem Fin.castOrderIso_toEquiv

Modification history