If you want to check the statement, you only have to read the type. The proof it...

		Jaxan 6 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... If you want to check the statement, you only have to read the type. The proof itself you don’t have to read at all