Theorem CliffordAlgebra.adjoin_range_ι

Modification history

2025-06-04 20:26
Mathlib/LinearAlgebra/CliffordAlgebra/Basic.lean
feat: range of `lift`s (#25276) …
Added CliffordAlgebra.adjoin_range_ιView on Github →