Such dat titles like

(Deep) Induction Rules for …

won’t appear at the top, but get sorted using its first word character ‘D’.

Submitted by Elmer van Chastelet on 13 December 2021 at 21:13

On 13 December 2021 at 21:13 Elmer van Chastelet tagged 1.55.3

On 13 December 2021 at 21:13 Elmer van Chastelet closed this issue.

Log in to post comments