Theorem Fin.coe_eq_castSuccEmb

Modification history