Theorem IsIsotypic.linearEquiv_finsupp

Modification history