feat: add ContinuousSMul instances for ℚ≥0#28474
Open
astrainfinita wants to merge 4 commits intoleanprover-community:masterfrom
Open
feat: add `ContinuousSMul` instances for `ℚ≥0`#28474astrainfinita wants to merge 4 commits intoleanprover-community:masterfrom
astrainfinita wants to merge 4 commits intoleanprover-community:masterfrom
Commits
Commits on Aug 15, 2025
- committed
- andauthored
