~/bend-docscommunity

good.bend checks

raw source on the hub · import 0x71a250c2d42ef873aaef6879cd1b5ef8/good.bend as Good

1 import
import Base

Definitions

def thm source · line 3 · raw

@x:Nat -> Nat