Theorem PFunctor.Obj.rec_mk

Modification history

2026-09-03 15:14
Mathlib/Data/PFunctor/Univariate/Basic.lean
chore(Data/PFunctor): fix defeq abuse in `PFunctor.Obj` (#43056) …
Added PFunctor.Obj.rec_mkView on Github →