oren's profile @oren

I am, therefore I am.

Apr 7, 2023, 6:44 PM
8 0 5

comments (single view)

pkmnq's profile @pkmnq Apr 7, 2023, 6:47 PM

Relevant theorem: https://us.metamath.org/mpeuni/idi.html

View all comments