Commit 2019-12-13 18:10 bb7d4c98
View on Github →chore(data/set/lattice): drop Union_eq_sUnion_range and Inter_eq_sInter_range (#1800)
- chore(data/set/lattice): drop
Union_eq_sUnion_rangeandInter_eq_sInter_rangeTwo reasons: - we already have
sUnion_rangeandsInter_range, no need to repeat ourselves; - proofs used wrong universes.
- Try to fix compile