Inductive Mathlib.Meta.FunProp.MorApplication

Modification history