Commit 2023-11-09 17:46 91dfb1ac

View on Github →

feat(RingTheory/PolynomialAlgebra): lemmas about X and C (#8294)

Estimated changes

added theorem matPolyEquiv_map_C
added theorem matPolyEquiv_symm_C
added theorem matPolyEquiv_symm_X