Documentation

CvxLean.Meta.Attributes

Attributes for lemmas that make strong equivalences, equivalences, reductions, and relaxations. By tagging them, we can easily retrieve all the lemmas for a certain relation.

source
opaque strongEquivThmExtension :
Lean.Meta.SimpExtension
source
opaque equivThmExtension :
Lean.Meta.SimpExtension
source
opaque redThmExtension :
Lean.Meta.SimpExtension
source
opaque relThmExtension :
Lean.Meta.SimpExtension