mathlib
e1e7190e - feat(data/polynomial/div): add X_sub_C_dvd_sub_C_eval (#19120)

Commit

2 years ago

feat(data/polynomial/div): add X_sub_C_dvd_sub_C_eval (#19120)

Author

Multramate

Multramate

Parents

Loading