Skip to content

Lean: translate type parameters of record types #2026

Lean: translate type parameters of record types

Lean: translate type parameters of record types #2026