Theorem Algebra.adjoin_singleton_le

Modification history

2025-04-15 07:00

Mathlib/Algebra/Algebra/Subalgebra/Lattice.lean

feat(Algebra/Algebra/Subalgebra): `Algebra.adjoin_singleton_le` (#24048) …

Added Algebra.adjoin_singleton_le View on Github →