Theorem Mathlib.Tactic.Qify.int_cast_eq

Modification history