Structure CategoryTheory.OplaxNatTrans.Modification

Modification history