|- E. y A. z e. x ( z =/= (/)
-> E! w e. z E. v e. y (z e. v /\ w e. v )
This is a piece of music arranged from midi information extracted from the Theorem "THE AXIOM OF CHOICE EQUIVALANT' and uploaded to the Metamath …
Showing love
Wonderful idea for a beautiful composition
Oh. While listening to this song on my headphones, I left my…
This is really beautiful!