\(\newenvironment{bprooftree}{\begin{prooftree}}{\end{prooftree}}\)
04 Jul 2026

About

I am a big fan of Category theory.

Friends