Theorem Mathlib.Tactic.ComputeDegree.natDegree_natCast_le

Modification history