((Bit-Mage) 'buffer) ::
Proof Theory
Tags::math: