Theorem Polynomial.Sequence.basis_eq_self

Modification history