Theorem DirectSum.linearEquivFunOnFintype_symm_coe

Modification history