gilbert189's profile @gilbert189

ω

Jan 5, 2023, 10:50 PM
2 0 1

comments

pkmnq's profile @pkmnq Jan 5, 2023, 11:56 PM

Fun fact: it exists (https://us.metamath.org/mpeuni/omex.html)