De Bruijn Numerals

• November 16, 2025