Theorem QuaternionAlgebra.Basis.range_liftHom

Modification history

2025-06-04 20:26
Mathlib/Algebra/QuaternionBasis.lean
feat: range of `lift`s (#25276) …
Added QuaternionAlgebra.Basis.range_liftHomView on Github →