Theorem exteriorPower.ιMulti_span_fixedDegree

Modification history