Commit 2023-11-30 15:26 392482f2
View on Github →feat: partition into subintervals/squares adapted to an open cover (#7915) Also adds some useful instances and lemmas about the unit interval. The subsquares version will be useful for Van Kampen.
feat: partition into subintervals/squares adapted to an open cover (#7915) Also adds some useful instances and lemmas about the unit interval. The subsquares version will be useful for Van Kampen.