Theorem exteriorPower.alternatingMapLinearEquiv_comp

Modification history