Theorem StarRingEquiv.ext

Modification history