Theorem category_theory.oplax_functor.to_prelax_functor_map₂
Modification history
2022-08-30 11:08
src/category_theory/bicategory/functor.lean
chore(*): bump to lean 3.47.0 (#16252) …
Modified category_theory.oplax_functor.to_prelax_functor_map₂View on Github →