mathlib3
3fcb7380 - doc(data/finset/basic): correct some function names (#11983)

Commit

3 years ago

doc(data/finset/basic): correct some function names (#11983)

Author

kmill

kmill

Parents

Loading