Theorem IsSimpleRing.isIsotypic

Modification history