Skip to main content
4 events
when toggle format what by license comment
Apr 25, 2022 at 13:57 vote accept Rory
Apr 21, 2022 at 12:22 comment added Morrolan The second and third terms in the equality of the correctness proof you quote are identical - I suspect you might have a typo there.
Apr 21, 2022 at 12:14 answer added Morrolan timeline score: 4
Apr 21, 2022 at 10:55 history asked Rory CC BY-SA 4.0