search

tirix / metamath-web

Metamath web server
http://metamath.tirix.org/mpeuni/toc
MIT License
4 stars 0 forks source link

Summary of the theorems (hypotheses and statement) before the proof; … #3

Closed tirix closed 2 years ago

tirix commented 2 years ago

…differentiate theorem, definitions and syntax definitions