Theorem TwoSidedIdeal.coe_equivMatrix_symm_apply

Modification history