Zulip Chat Archive
Stream: sphere eversion
Topics:
- Mathlib bumps (68 messages, latest: Jan 13 2026 at 17:21)
- "really convex" (12 messages, latest: Dec 28 2025 at 08:05)
- What is ready for upstreaming? (139 messages, latest: Nov 12 2025 at 14:52)
- Documentation build failing on master (31 messages, latest: May 10 2025 at 23:54)
- Finished proof; Whitney Graustein from sphere eversion pr. (2 messages, latest: Oct 19 2024 at 11:49)
- channel events (1 message, latest: Jun 21 2024 at 01:36)
- ✔ Basis.flag_span_succ vs Basis.flag_succ (5 messages, latest: Mar 16 2024 at 19:55)
- Questions about particular design decisions (19 messages, latest: Mar 15 2024 at 23:05)
- Updating blueprint? (18 messages, latest: Feb 07 2024 at 20:29)
- Lean 4 port (127 messages, latest: Nov 14 2023 at 17:36)
- Project completion (2 messages, latest: Nov 16 2022 at 11:30)
- lean projects list (2 messages, latest: Sep 23 2022 at 14:45)
- Project status update (13 messages, latest: Sep 12 2022 at 17:19)
- Rotation around a vector by an angle (56 messages, latest: Sep 12 2022 at 08:32)
- Chapter 3 coordination (276 messages, latest: Sep 05 2022 at 22:41)
- Confusing blueprint (2 messages, latest: Sep 04 2022 at 19:54)
- Inner product are not that cheap (81 messages, latest: Sep 01 2022 at 16:15)
- Gromov's theorem (15 messages, latest: Aug 26 2022 at 14:41)
- github project (4 messages, latest: Jul 24 2022 at 19:20)
- Lemma 3.6 (37 messages, latest: Jul 22 2022 at 01:05)
- Chapter 3 update (3 messages, latest: Jun 15 2022 at 09:53)
- bundle of continuous linear maps (120 messages, latest: Jun 05 2022 at 14:53)
- Globalisation (3 messages, latest: Jun 01 2022 at 10:40)
- polyhedral sphere eversion (5 messages, latest: Apr 30 2022 at 09:34)
- Local theory (3 messages, latest: Apr 13 2022 at 18:50)
- stream events (6 messages, latest: Mar 19 2022 at 10:35)
- Update on Chapter 2 (16 messages, latest: Mar 13 2022 at 17:16)
- Constructing loops (54 messages, latest: Mar 02 2022 at 10:41)
- Bump (1 message, latest: Feb 23 2022 at 15:10)
- exist surrounding loops (82 messages, latest: Feb 22 2022 at 19:13)
- The reparametrization lemma (17 messages, latest: Feb 22 2022 at 18:32)
- Smooth extensions (21 messages, latest: Feb 22 2022 at 10:30)
- Easy induction on directions (3 messages, latest: Feb 08 2022 at 22:32)
- Project update (17 messages, latest: Dec 30 2021 at 17:14)
- Corrugations estimates (10 messages, latest: Dec 22 2021 at 17:55)
- Lemma 2.13 (18 messages, latest: Dec 22 2021 at 14:08)
- File reorganization (1 message, latest: Dec 21 2021 at 19:06)
- Smoothness of barycentric coordinates (Lemma 1.7) (22 messages, latest: Dec 14 2021 at 18:11)
- building the website (4 messages, latest: Nov 19 2021 at 20:32)
- redefine surrounding_family (4 messages, latest: Nov 19 2021 at 20:31)
- extend_loops (4 messages, latest: Nov 19 2021 at 20:03)
- Parametric integrals (13 messages, latest: Nov 06 2021 at 12:24)
- formulating continuity lemmas (16 messages, latest: Nov 05 2021 at 15:09)
- Surrounding a point (Lemma 1.6) (17 messages, latest: Oct 19 2021 at 20:27)
- Bumping Mathlib (4 messages, latest: Oct 18 2021 at 13:16)
Last updated: Feb 28 2026 at 14:05 UTC