Theorem AlgEquiv.mk_coe'

Modification history