feat(Geometry/Euclidean/Projection): characteristic property#30698
Open
jsm28 wants to merge 5 commits intoleanprover-community:masterfrom
Open
feat(Geometry/Euclidean/Projection): characteristic property#30698jsm28 wants to merge 5 commits intoleanprover-community:masterfrom
jsm28 wants to merge 5 commits intoleanprover-community:masterfrom
Commits
Commits on Oct 19, 2025
Commits on Oct 20, 2025
- andauthored
- committed
