\(\newenvironment{bprooftree}{\begin{prooftree}}{\end{prooftree}}\)
05 Apr 2026

About

I am a big fan of Category theory.

Friends