bbchallenge / bbchallenge-proofs

Mathematical proofs of the bbchallenge project.
Creative Commons Attribution 4.0 International
16 stars 6 forks source link

Use \theoremstyle to avoid repeating \normalfont everywhere #9

Closed meithecatte closed 1 year ago