Commit 2025-04-15 07:00 fa14299f
View on Github →feat(Algebra/Algebra/Subalgebra): Algebra.adjoin_singleton_le (#24048)
Special case of Algebra.adjoin_le for a singleton.
feat(Algebra/Algebra/Subalgebra): Algebra.adjoin_singleton_le (#24048)
Special case of Algebra.adjoin_le for a singleton.