basic): simpler proof of `union_subset_iff` (#5904)

Commit

4 years ago

refactor(data/set/basic): simpler proof of `union_subset_iff` (#5904) 12X smaller proof term co-authors: `lean-gptf`, Stanislas Polu

Author

Jesse Michael Han

Parents