mathlib
b99a98e3
- doc(category_theory/limits/shapes/pullbacks): fix doc (#11225)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
doc(category_theory/limits/shapes/pullbacks): fix doc (#11225) the link doesn't work with the full stop
Author
ericrbg
Parents
a30375e0
Loading