Skip to content

chore(Algebra/QuadraticAlgebra): rename map/mapEquiv to changeGenerator - #42751

Open
xroblot wants to merge 1 commit into
leanprover-community:masterfrom
xroblot:qa-change-generator
Open

chore(Algebra/QuadraticAlgebra): rename map/mapEquiv to changeGenerator#42751
xroblot wants to merge 1 commit into
leanprover-community:masterfrom
xroblot:qa-change-generator

1rst commit

75b8e44
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check_title
succeeded Aug 13, 2026 in 1m 24s