Closed tirix closed 6 years ago
As suggested by David in his Google groups post:
Hypotheses and assertions should also have a "Metamath copy" button.
This is also missing in the pages for "syntax breakdown" axioms, like in df-chp.
"Metamath copy"is also added to hypothesis and statement since commit 71a9600
As suggested by David in his Google groups post:
Hypotheses and assertions should also have a "Metamath copy" button.
This is also missing in the pages for "syntax breakdown" axioms, like in df-chp.