Theorem CategoryTheory.Oplax.OplaxTrans.Modification.id_app'

Modification history