Theorem exteriorPower.alternatingMapLinearEquiv_ιMulti

Modification history