Smm

swMATH13310MaRDI QIDQ25225FDOQ25225

Author name not available (Why is that?)

Described by source

• Smm, the simplified metamath

Cited In (1)

• The language of formal mathematics Russell

This page was built for software: Smm