Theorem TrivSqZeroExt.range_inlAlgHom_sup_adjoin_range_inr

Modification history

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