Theorem CategoryTheory.uliftYonedaEquiv_symm_comp

Modification history

2026-03-26 10:27
Mathlib/CategoryTheory/Yoneda.lean
feat(AlgebraicTopology): API for the geometric realization of simplicial sets (#37099)
Added CategoryTheory.uliftYonedaEquiv_symm_compView on Github →