Theorem IsIsotypicOfType.isIsotypic

Modification history