Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.C'_mem_lifts

Modification history

2020-10-30 18:58

src/data/polynomial/lifts.lean

feat(data/polynomial/lifts): polynomials that lift (#4796) …

Added polynomial.C'_mem_lifts View on Github →