Theorem exteriorPower.ιMulti_apply_coe

Modification history