Theorem exteriorPower.alternatingMapLinearEquiv_apply_ιMulti

Modification history