The minimal odd excludant and Euler’s partition theorem | Synapse