Commit 2026-11-10 15:22 e58cf8d2

View on Github →

feat: use IsApply for Poly (#45535)

Estimated changes

deleted theorem Poly.add_apply
deleted theorem Poly.mul_apply
deleted theorem Poly.neg_apply
deleted theorem Poly.one_apply
deleted theorem Poly.sub_apply
deleted theorem Poly.zero_apply