Theorem AlgEquiv.coe_ring_equiv'

Modification history