Skip to main content
7 events
when toggle format what by license comment
Apr 17, 2018 at 11:41 vote accept Evgeny Kuznetsov
Apr 17, 2018 at 11:41 comment added Evgeny Kuznetsov Oh I realized, splitting does a job. Thanks a lot.
Apr 17, 2018 at 10:59 history edited Tobias Fritz CC BY-SA 3.0
incorporated Todd Trimble's correction
Apr 17, 2018 at 10:53 comment added Tobias Fritz @ToddTrimble: of course, thank you for the correction! I'll edit my answer accordingly.
Apr 17, 2018 at 10:50 comment added Todd Trimble A purist might object by noting that $\emptyset \to S$ can't be split if $S$ is nonempty, but that special case is trivial by initiality of $\emptyset$.
Apr 17, 2018 at 8:33 history edited Tobias Fritz CC BY-SA 3.0
added 495 characters in body; deleted 5 characters in body
Apr 17, 2018 at 8:01 history answered Tobias Fritz CC BY-SA 3.0