Skip to main content
2 events
when toggle format what by license comment
Apr 12, 2018 at 7:02 comment added Asvin Thanks for the correction. I was aware of the issue between different terms evaluating to the same number but didn't think through what that meant for the diagonal lemma.
Apr 11, 2018 at 19:25 history answered Peter LeFanu Lumsdaine CC BY-SA 3.0