Skip to content

proof(ordinal): doubled-ladder umbrella rank2-mono-<ᵇ² + wf-<ᵇ² (Gate 1 capstone) #68

proof(ordinal): doubled-ladder umbrella rank2-mono-<ᵇ² + wf-<ᵇ² (Gate 1 capstone)

proof(ordinal): doubled-ladder umbrella rank2-mono-<ᵇ² + wf-<ᵇ² (Gate 1 capstone) #68