Theorem coe_basisOfTopLeSpanOfCardEqFinrank

Modification history