Keyword:Metamath

Papers
EasyChair Preprint no. 6207