Theorem CategoryTheory.Pseudofunctor.to_oplax_map

Modification history