mathlib
15c8fdda - feat(data/{list, multiset}/basic): generalize `pmap_congr` (#16220)

Commit

3 years ago

feat(data/{list, multiset}/basic): generalize `pmap_congr` (#16220)

Author

astrainfinita

astrainfinita

Parents

Loading