[Merged by Bors] - refactor: golf only FactorisationProperties#38204
Closed
yuanyi-350 wants to merge 2 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - refactor: golf only FactorisationProperties#38204yuanyi-350 wants to merge 2 commits intoleanprover-community:masterfrom
FactorisationProperties#38204yuanyi-350 wants to merge 2 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 18, 2026
Commits on Apr 19, 2026
- andauthored
