Theorem AlgEquiv.coe_ringEquiv'

Modification history