Eight | Data.Type.Natural |
eight | Data.Type.Natural |
Eighteen | Data.Type.Natural |
eighteen | Data.Type.Natural |
Eleven | Data.Type.Natural |
eleven | Data.Type.Natural |
eqPreservesS | Data.Type.Natural |
eqSuccMinus | Data.Type.Natural |
Eight | Data.Type.Natural |
eight | Data.Type.Natural |
Eighteen | Data.Type.Natural |
eighteen | Data.Type.Natural |
Eleven | Data.Type.Natural |
eleven | Data.Type.Natural |
eqPreservesS | Data.Type.Natural |
eqSuccMinus | Data.Type.Natural |