mathlib3
26c6fb5b - chore(data/set/basic): set.union_univ and set.univ_union (#6239)

Commit

5 years ago

chore(data/set/basic): set.union_univ and set.univ_union (#6239)

Author

jcommelin

jcommelin

Parents

Loading