# Commit 2020-07-10 17:35 960fc8e3

View on Github →feat(data/univariate/qpf): compositional data type framework for (co)inductive types (#3325) Define univariate QPFs (quotients of polynomial functors). This is the first part of #3317.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(data/univariate/qpf): compositional data type framework for (co)inductive types (#3325) Define univariate QPFs (quotients of polynomial functors). This is the first part of #3317.