Skip to content

Lean: translate trivial type quantifiers #1603

Lean: translate trivial type quantifiers

Lean: translate trivial type quantifiers #1603