Theorem CategoryTheory.Pseudofunctor.to_oplax_map₂

Modification history