Open MHenderson opened 5 months ago
Just because it looks cool.
But probably via a custom theorem environment.
Just because it looks cool.