Theorem IsIsotypicOfType.linearEquiv_fun

Modification history