Theorem DenomsClearable.add

Modification history

2023-03-23 13:00

Mathlib/Data/Polynomial/DenomsClearable.lean

feat: port Data.Polynomial.DenomsClearable (#2978)

Added DenomsClearable.add View on Github →