Theorem IsIsotypicOfType.linearEquiv_finsupp

Modification history