Theorem AlgEquiv.coe_coe_symm_apply_coe_apply

Modification history