mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-09-11 08:45:32 +03:00
Delete succ_div.kind
This commit is contained in:
parent
a42d43ecc9
commit
9e13d9f4d3
Loading…
Reference in New Issue
Block a user