mathlib
04206afe - feat(topology/instances): add_circle = interval with ends identified (#17889)

Commit

3 years ago

feat(topology/instances): add_circle = interval with ends identified (#17889)

Author

loefflerd

loefflerd

Parents

Loading