提供基于后继操作的自然数及其操作。
由 Kevin Tran 拥有。
#6 在 #successor
4KB
natural_numbers 提供自然数及其基于后继操作的操作。
natural_numbers