Commit 2023-03-29 23:55 244e6105

View on Github →

feat: port CategoryTheory.Category.TwoP (#3169)

Estimated changes

added theorem TwoP.coe_of
added theorem TwoP.coe_toBipointed
added def TwoP.of
added theorem TwoP.swapEquiv_symm
added structure TwoP