mathlib
97a7a246 - doc(data/pequiv): add module docs (#7877)

Commit

4 years ago

doc(data/pequiv): add module docs (#7877) Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents