Theorem exteriorPower.ιMulti_span

Modification history