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.
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.