Theorem AddMonoidAlgebra.opRingEquiv_symm_single

Modification history