mathlib3
37459eee - doc(docs/overview.yaml): Added Hall's theorem (#6205)

Commit

4 years ago

doc(docs/overview.yaml): Added Hall's theorem (#6205) Also fixed module documentation to use inline math mode (and removed the dreaded "any").

Author

kmill

Parents