Skip to content

proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ #32

proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_

proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ #32