frege.run

Interface Kind.IX<𝐓,𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖,𝓗,𝓘>