align types used in the definition of real numbers #805
Annotations
1 error
Dump proofs
Process completed with exit code 2.
|
Loading