Return theorem kind for stx
of the form Attr.grindThmMod
Equations
Instances For
Return theorem kind for stx
of the form (Attr.grindMod)?
Return theorem kind for stx
of the form Attr.grindThmMod
Return theorem kind for stx
of the form (Attr.grindMod)?