fabian/veribase-idr2 - Change WFAN2WPLWIEEYWBI5UNGUSV5OCZZP5SVDHYPBUPXUAEXM7VAJOIAC

Remove unnecesary `partial`s

Created by fabian on June 11, 2021

WFAN2WPLWIEEYWBI5UNGUSV5OCZZP5SVDHYPBUPXUAEXM7VAJOIAC

Dependencies

In channels

main

Change contents

Deletion in src/Data/Natural.idr at line 216 [3.31]
B:BD[2.1352] → [2.1352:1360]
```
partial
```
Deletion in src/Data/Natural.idr at line 223 [3.31]
B:BD[2.1576] → [2.1576:1584]
```
partial
```