mathlib3

a1490a0c - feat(linear_algebra/{tensor,exterior,clifford): prove supr_ι_range_pow_eq_top