Theorem Mathlib.Tactic.Zify.Nat.cast_sub_of_lt

Modification history