Structure CategoryTheory.Pseudofunctor.StrongTrans

Modification history