Commit 2025-03-08 12:16 b1a6dd97
View on Github →chore: move the group of relation automorphisms under Algebra.Order
(#22505)
Order.RelIso.Group
imports algebra, hence should be under Algebra
chore: move the group of relation automorphisms under Algebra.Order
(#22505)
Order.RelIso.Group
imports algebra, hence should be under Algebra