mathlib3
14a992b3 - chore(data/set_like): some additional documentation (#8765)

Commit

4 years ago

chore(data/set_like): some additional documentation (#8765) Gives some more explanation for `set_like` and what it does and is for.

Author

kmill

Parents