Isabelle/HOL translation: records and named patterns #8191
Annotations
2 errors
|
Run ormolu
The operation was canceled.
|
Loading