How to prove equations using diagrams, part 3topos.institute1 point·measurablefunc··0 commentsOpen articleSaveView on HN