Ehresmann's lemma: Revision history

3 July 2022

• curprev 11:0111:01, 3 July 2022 TakuyaMurata talk contribs 1,419 bytes +48 →References: *Thom's first isotopy lemma undo

11 March 2022

• curprev 09:3209:32, 11 March 2022 Gumshoe2 talk contribs 1,371 bytes +289 →References undo

8 January 2022

• curprev 18:4218:42, 8 January 2022 81.227.76.13 talk 1,082 bytes +11 I completely disagree with last edit of Tgoodwil user. Surjectivity is essential. Proposition on p154 in original work of Ehresmann says "et soit p une application deux fois différentiable de E sur B", "E sur B" translates "E onto B" which means surjective map. Also think about map f: S^1 → R, f(p)=0, this is definitel proper smooth submersion, and it's definitely not a locally trivial fiber bundle. undo Tag: Manual revert
• curprev 18:4218:42, 8 January 2022 81.227.76.13 talk 1,071 bytes −11 Undid revision 1064505609 by 81.227.76.13 (talk) misprint in comment undo Tags: Undo Reverted
• curprev 18:3818:38, 8 January 2022 81.227.76.13 talk 1,082 bytes +11 I completely disagree with last edit of Tgoodwil user. Surjectivity is essential. Proposition on p154 in original work of Ehresmann says "et soit p une application deux fois différentiable de E sur B", "E sur B" translates "E onto B" which means surjective map. Also think about map f: S^1 → R, f(p)=0, this is definitely surjective proper smooth map, and it's definitely not a locally trivial fiber bundle. undo Tag: Reverted

5 January 2022

• curprev 20:1420:14, 5 January 2022 Tgoodwil talk contribs m 1,071 bytes −1 No edit summary undo
• curprev 20:1320:13, 5 January 2022 Tgoodwil talk contribs m 1,072 bytes −15 No edit summary undo

12 April 2021

• curprev 21:3521:35, 12 April 2021 ArnoldReinhold talk contribs 1,087 bytes +99 Adding short description: "On when a smooth map between smooth manifolds is a locally trivial fibration" (Shortdesc helper) undo

1 November 2020

• curprev 03:0403:04, 1 November 2020 2601:547:1301:6970:9c69:e073:67b3:a78 talk 988 bytes −35 No edit summary undo

14 April 2020

• curprev 08:4208:42, 14 April 2020 JRB-Europe talk contribs 1,023 bytes +18 Link undo Tag: 2017 wikitext editor

30 August 2018

• curprev 15:0715:07, 30 August 2018 Akriasas talk contribs m 1,005 bytes 0 typo undo

20 August 2018

• curprev 12:0712:07, 20 August 2018 Oboofyu talk contribs m 1,005 bytes +48 No edit summary undo
• curprev 12:0512:05, 20 August 2018 Oboofyu talk contribs m 957 bytes +59 No edit summary undo

8 July 2018

• curprev 05:1605:16, 8 July 2018 Turgidson talk contribs 898 bytes +180 complete a reference undo

17 September 2017

• curprev 10:3510:35, 17 September 2017 Klbrain talk contribs 718 bytes −51 Removing stale merge proposal from 2015; no case made, no support over 2.5 years undo

26 March 2017

• curprev 13:3113:31, 26 March 2017 Plnml talk contribs m 769 bytes +5 wrapped the formula by 'math' undo

15 May 2015

• curprev 20:4020:40, 15 May 2015 AnomieBOT talk contribs m 764 bytes +14 Dating maintenance tags: {{Mergeto}} undo
• curprev 20:2020:20, 15 May 2015 TakuyaMurata talk contribs m 750 bytes 0 No edit summary undo
• curprev 20:1920:19, 15 May 2015 TakuyaMurata talk contribs 750 bytes +37 No edit summary undo

27 July 2014

• curprev 14:5414:54, 27 July 2014 TakuyaMurata talk contribs m 713 bytes +27 No edit summary undo
• curprev 14:5414:54, 27 July 2014 TakuyaMurata talk contribs m 686 bytes 0 TakuyaMurata moved page Ehresmann's theorem to Ehresmann's lemma undo

12 March 2013

• curprev 11:4711:47, 12 March 2013 Addbot talk contribs m 686 bytes −58 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q867141 undo

12 December 2012

• curprev 15:4915:49, 12 December 2012 JackieBot talk contribs m 744 bytes +27 r2.7.2) (Robot: Adding de:Satz von Ehresmann undo

2 February 2012

• curprev 17:5317:53, 2 February 2012 Brad7777 talk contribs 717 bytes −22 −Category:Differential topology; ±Category:Theorems in topology→Category:Theorems in differential topology using HotCat undo

15 October 2011

• curprev 00:2600:26, 15 October 2011 Geometry guy talk contribs 739 bytes −1 subcat undo

14 November 2009

• curprev 02:5002:50, 14 November 2009 Point-set topologist talk contribs m 740 bytes −13 Reverted edits by Gvozdet (talk) to last version by Txebixev undo

10 November 2009

• curprev 12:3312:33, 10 November 2009 Rausch talk contribs 753 bytes +13 No edit summary undo

18 September 2009

• curprev 15:4215:42, 18 September 2009 Txebixev talk contribs 740 bytes +15 No edit summary undo

5 May 2009

• curprev 20:1320:13, 5 May 2009 Nbarth talk contribs 725 bytes +36 M compact, say undo

29 September 2008

• curprev 17:1817:18, 29 September 2008 Giftlite talk contribs m 689 bytes 0 →References: +* undo

27 September 2008

• curprev 19:3119:31, 27 September 2008 78.150.2.196 talk 689 bytes +34 No edit summary undo

11 October 2007

• curprev 14:5214:52, 11 October 2007 SmackBot talk contribs 655 bytes +1 Standard headings &/or gen fixes. undo

31 December 2006

• curprev 02:4802:48, 31 December 2006 Kyle the bot talk contribs m 654 bytes +32 robot Adding: fr:Théorème de Ehresmann undo

25 September 2006

• curprev 09:4809:48, 25 September 2006 Bluebot talk contribs 622 bytes −3 Unicodifying undo

2 April 2006

• curprev 06:3806:38, 2 April 2006 70.28.61.157 talk 625 bytes +25 fix link undo

13 September 2004

• curprev 10:5710:57, 13 September 2004 Charles Matthews talk contribs 600 bytes +600 Initial page