Theorem AlgebraicTopology.DoldKan.natTransPInfty_f_app

Modification history

2026-08-13 09:18
Mathlib/AlgebraicTopology/DoldKan/PInfty.lean
chore(CategoryTheory/Functor/Category): don't expose `NatTrans.hcomp` (#40925) …
Added AlgebraicTopology.DoldKan.natTransPInfty_f_appView on Github →