search

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
40 stars 15 forks source link

request: provide #align statements for alias #216

Closed rwbarton closed 1 year ago

rwbarton commented 1 year ago

Like #205, but for alias.

rwbarton commented 1 year ago

Fixed by #217.