Theorem exteriorPower.alternatingMapLinearEquiv_comp_ιMulti

Modification history