Theorem Fin.sigma_eq_iff_eq_comp_cast

Modification history