Commit 2022-01-28 13:31 b9db1696
View on Github →chore(order/locally_finite): fill in finset interval API (#11338)
A bunch of statements about finset intervals, mimicking the set interval API and mostly proved using it. simp
attributes are chosen as they were for sets. Also some golf.