mathlib
b63c5601 - feat(data/set/Union_lift): lift functions to Unions of sets (#9019)

Commit
4 years ago
feat(data/set/Union_lift): lift functions to Unions of sets (#9019) Co-authored-by: Chris Hughes <chrishughes24@gmail.com>
Author
Parents
Loading