Theorem AlgEquiv.coe_restrictScalars'

Modification history