Commit 2026-01-22 13:00 3b9dc50d

View on Github →

feat(FieldTheory/RatFunc/AsPolynomial): Criterion for a RatFunc to be constant (#34212)

Estimated changes

added theorem RatFunc.eq_C_iff