Commit ebf3f17

authored

Finish pushout pasting properties (#758)

1 parent fa50866 commit ebf3f17Copy full SHA for ebf3f17

1 file changed

+239

-125

lines changed

src/synthetic-homotopy-theory
- universal-property-pushouts.lagda.md

1 file changed

+239

-125

lines changed

Comments

(0)