Discussion on answer by Linear Christmas: Metalanguage Integers

Imported from a comment discussion on https://math.stackexchange.com/questions/4951909/metalanguage-integers/4952127#4952127

first message	2024-07-31
last message	189 days ago

join this room
view transcript