Timeline for Are all group monomorphisms regular, constructively?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 14, 2010 at 16:59 | comment | added | Peter LeFanu Lumsdaine | @Andrej: just dropping a comment here so you get a notification about Paul Taylor’s answer below. | |
| Oct 7, 2010 at 6:20 | history | answered | Andrej Bauer | CC BY-SA 2.5 |