Theorem AlgEquiv.toEquiv_eq_coe

Modification history