subtype, 5 months ago @Ukko Though maybe it should be just Suc(Coq) idk how Peano numbers were usually defined there.
@Ukko Though maybe it should be just Suc(Coq) idk how Peano numbers were usually defined there.
Suc(Coq)