Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-17 09:46 530e1d13

View on Github →

refactor (data/finset): explicit arguments for subset_union_* and inter_subset_* This change makes them a little easier to apply, and also makes them consistent with their analogues in set.basic.

Estimated changes