Theorem Fin.sigma_eq_of_eq_comp_cast

Modification history