Theorem Basis.coe_sumCoords_of_fintype

Modification history