Theorem CategoryTheory.Pseudofunctor.map₂_hom_inv

Modification history