\(\newenvironment{bprooftree}{\begin{prooftree}}{\end{prooftree}}\)
19 Oct 2026

About

I am a big fan of Category theory.

Friends