Theorem CategoryTheory.Oplax.OplaxTrans.Modification.comp_app'

Modification history