User talk:Martinmspedersen
leading zeros in OEIS entries
I don't know if you are aware or not, but leading zeros in the name of an OEIS sequence are optional.
To wit, oeis.org/A002407 and oeis.org/A2407 work equally well.
I find the insertion of leading zeros somewhat distracting, but do not contest the insertion of them. -- Gerard Schildberger (talk) 20:45, 28 April 2019 (UTC)