Theorem Mathlib.Tactic.Ring.cast_pos

Modification history