Auto-instantiate proof of adjunction alongside section and retraction (cf., #57)#68

Merged

tlringer merged 12 commits intomasterfrom user-friendly-types

Sep 18, 2019

+418-45

Commits on Aug 28, 2019

In-person start on adjunction template proof
nateyazdani
committed

Commits on Aug 29, 2019

another attempt
tlringer
committed

Commits on Aug 31, 2019

Check in Jasper's adjunction proof
nateyazdani
committed

Commits on Sep 6, 2019

Commits on Sep 18, 2019