Theorem CategoryTheory.Functor.rightOp_map_unop

Modification history

2024-06-10 11:04
Mathlib/CategoryTheory/Opposites.lean
feat(AlgebraicGeometry/GammaSpecAdjunction): a missing lemma (#13412) …
Added CategoryTheory.Functor.rightOp_map_unopView on Github →