search

JetBrains / arend-lib

Apache License 2.0
79 stars 23 forks source link

Potential typo #33

Closed ice1000 closed 3 years ago

ice1000 commented 3 years ago

https://github.com/JetBrains/arend-lib/blob/8f7339486a8d0d3cb8b2d76da6edf38f86e535ac/src/Algebra/Pointed.ard#L7