def Lean.Meta.mkCtorIdxHInjTheoremNameFor (indName : Name) : Name

Equations

• Lean.Meta.mkCtorIdxHInjTheoremNameFor indName = (mkCtorIdxName indName).str Lean.Meta.hinjSuffix✝