Theorem polynomial.pairwise_coprime_X_sub
Modification history
2022-06-21 14:57
src/data/polynomial/field_division.lean
golf(data/polynomial): factorization into linear factors when #roots=degree (#14862) …
Deleted polynomial.pairwise_coprime_X_subView on Github →