Skip to content

proof(ordinal): unbudgeted sound-carrier extended order wf-<ᵇ⁺² (K-li… #82

proof(ordinal): unbudgeted sound-carrier extended order wf-<ᵇ⁺² (K-li…

proof(ordinal): unbudgeted sound-carrier extended order wf-<ᵇ⁺² (K-li… #82