Def Mathlib.Tactic.ComputeDegree.getCongrLemma

Modification history