mathlib
8a1b982f - feat(data/{fin,}set/pointwise): add `{fin,}set.inv_insert` (#16748)

Commit

3 years ago

feat(data/{fin,}set/pointwise): add `{fin,}set.inv_insert` (#16748)

Author

urkud

urkud

Parents

Loading