hbralrimi

47 views

Skip to first unread message

unread,

Dec 7, 2019, 8:52:14 AM12/7/19

to Metamath

I do not want to be ironic, of course, but I have the impression that we first replaced the

venerable"( ph -> A. x ph)" by" F/ x ph" supposed to be more meaningful and that now

to put in common factor some parts of the proofs we reintroduce"( ph -> A. x ph)"

beside" F/ x ph" finally returning to the previous state and multiplying the proofs by two.

And we hope to fight against ecological disaster.

This civilization will die crushed under its own weight.

(By the way "Google Translate" may I recall Thee that the translation of the

French word "démonstration" is "proof" not "demonstration". Please !)

unread,

Dec 7, 2019, 9:26:47 AM12/7/19

to Metamath

Reply all

Reply to author

Forward

0 new messages