mathlib
00d450eb - refactor(data/set/pairwise): use `{{..}}` arguments (#17230)

Commit

3 years ago

refactor(data/set/pairwise): use `{{..}}` arguments (#17230)

Author

urkud

urkud

Parents

Loading