Theorem Mathlib.Tactic.ComputeDegree.coeff_pow_of_natDegree_le_of_eq_ite'

Modification history

2024-02-07 01:59

Mathlib/Tactic/ComputeDegree.lean

chore: remove duplicate instances (#10316) …

Modified Mathlib.Tactic.ComputeDegree.coeff_pow_of_natDegree_le_of_eq_ite'View on Github →

2023-09-02 12:08

Mathlib/Tactic/ComputeDegree.lean

feat: tactic `compute_degree` (#6221) …

Added Mathlib.Tactic.ComputeDegree.coeff_pow_of_natDegree_le_of_eq_ite'View on Github →