Structure CategoryTheory.SingleFunctors

Modification history