~/jendhub

law successor

stelliferous@0.0.2.0 · proofs/u32_successor.bend:144

import stelliferous@0.0.2.0/proofs/u32_successor.bend as U32Successor
import Base

144law successor:
145  for +i: U32
146  Goal(i)

Uses (3)

Used by (1)