Theorem coe_finsetBasisOfLinearIndependentOfCardEqFinrank

Modification history