Commit 2019-03-16 09:28 7b001c9c
View on Github →feat(data/set/intervals): add missing intervals + some lemmas (#805) The lemmas about Icc ⊆ I** are important for convexity
feat(data/set/intervals): add missing intervals + some lemmas (#805) The lemmas about Icc ⊆ I** are important for convexity