Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-02 21:15 efae3d9c

View on Github →

feat(data/mv_polynomial): C_inj and C_injective (#2920)

Estimated changes

added theorem mv_polynomial.C_inj