Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.monic.sub_of_right

Modification history

2022-04-29 20:31

src/data/polynomial/monic.lean

chore(data/polynomial): use dot notation for sub lemmas (#13799) …

Added polynomial.monic.sub_of_right View on Github →