Theorem CategoryTheory.Oplax.Modification.comp_app'

Modification history