On Monday, 25 May 2015 at 19:14:05 UTC, Vlad Levenfeld wrote: > https://github.com/evenex/autodata/blob/master/source/spaces/cyclic.d And I think that the symbol `ℕ` in your code you need to replace some words.