chore: rename **conjugate** to **star_left_conjugate**#30692
Open
themathqueen wants to merge 7 commits intoleanprover-community:masterfrom
Open
chore: rename **conjugate** to **star_left_conjugate**#30692themathqueen wants to merge 7 commits intoleanprover-community:masterfrom
themathqueen wants to merge 7 commits intoleanprover-community:masterfrom
Commits
Commits on Oct 20, 2025
- committed
- committed
- committed
- committed
