mathlib3
32b32ad9 - docs(data/set/basic): add module docstring (#1991)

Commit
5 years ago
docs(data/set/basic): add module docstring (#1991) * adding module docstring * tidying up * markdown fixes * more md tidying * remove some unnecessary {alpha : Type*} * responding to comments * responding to comments Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Author
Parents
Loading