Improve proofs for Interpolation_Polynomials_HOL_Algebra.
Reduced the number of apply scripts used.
Description
Description
Details
Details
- Provenance
Emin Karayel <me@eminkarayel.de> Authored on - Parents
- rAFPc6c94d91e388: Correct date.
- Branches
- Unknown
- Tags