Theorem Mathlib.Tactic.ComputeDegree.natDegree_int_cast_le

Modification history