ordinal(buchholz): Slice 3 headline — rank-mono-<ᵇ-+1-via-head-Ω under strict-head premise (#141) · hyperpolymath/echo-types@4b265d1