Theorem Mathlib.Tactic.ComputeDegree.natDegree_intCast_le

Modification history