Zulip Chat Archive

Stream: sphere eversion

Topic: Bump


Patrick Massot (Feb 23 2022 at 15:10):

I just bumped mathlib. I wanted to go over the times_cont_diff renaming but I also encountered lemmas that have been merges in to_mathlib/topology/tsupport. I removed all lemmas Lean was complaining about, but additional cleanup is probably needed.


Last updated: Dec 20 2023 at 11:08 UTC