Commit 2024-11-25 18:11 36463426

View on Github →

feat(MvPolynomial): more lemmas about finSuccEquiv (#19201)

Estimated changes