Inductive Mathlib.Meta.FunProp.Theorem

Modification history