Theorem IsIsotypicOfType.of_linearEquiv_type

Modification history