Theorem Fin.ofNat_eq_cast

Modification history