mathlib
e77dbe0c
- doc(data/list/*): Fix file links (#13711)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
doc(data/list/*): Fix file links (#13711) They were linking to `data.list.data.list.defs`.
Author
YaelDillies
Parents
bfa0ba5b
Loading