Theorem CategoryTheory.Oplax.Modification.id_app'

Modification history