17 events
when toggle format what by license comment
Nov 28 at 15:03 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Jul 31 at 14:07 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Apr 2 at 13:03 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Dec 3, 2022 at 12:06 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Nov 3, 2022 at 12:02 history edited Martin Sleziak CC BY-SA 4.0
http -> https (the question was bumped anyway)
Nov 3, 2022 at 3:07 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Jul 6, 2022 at 1:02 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Mar 8, 2022 at 1:00 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Nov 8, 2021 at 0:07 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Oct 8, 2021 at 22:04 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Jul 1, 2021 at 16:11 history bumped CommunityBot This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
May 31, 2021 at 18:33 answer added user254885 timeline score: 0
May 19, 2021 at 13:11 comment added Philippe Gaucher @Tyrone I managed to get in touch with him (it turns out that his Google email does not work, the other one works). It seems that the statement is still unproved when the source is not the empty set. You will find the statement (without proof) that $X$ is normal iff $\varnothing\to X$ satisfies the LLP with respect to $g$ in his paper "A diagram chasing formalisation of elementary topological properties" page 7.
May 19, 2021 at 11:34 comment added Tyrone Could you be more specific about which of Gavrilovich's papers you are referencing (and where in the paper the statement is found).
May 12, 2021 at 15:11 history edited Philippe Gaucher CC BY-SA 4.0
added 61 characters in body
May 12, 2021 at 14:24 history edited Philippe Gaucher CC BY-SA 4.0
added 612 characters in body
May 12, 2021 at 12:08 history asked Philippe Gaucher CC BY-SA 4.0