Theorem StarAlgEquiv.mk_coe'

Modification history