Def PFunctor.Approx.Path

Modification history

2025-06-08 17:42

Mathlib/Data/PFunctor/Univariate/M.lean

feat(Data/PFunctor/Univariate): Generalize universe level in `PFunctor` (#24257) …

Modified PFunctor.Approx.Path View on Github →

2023-02-18 13:17

Mathlib/Data/PFunctor/Univariate/M.lean

feat: port Data.Pfunctor.Univariate.M (#1834)

Added PFunctor.Approx.Path View on Github →