Theorem IsIsotypic.linearEquiv_fun

Modification history