I won't be impressed until it identifies the proof he wrote in the margin. /s

		baggy_trough 10 days ago \| parent \| context \| favorite \| on: Formalizing Fermat's Last Theorem I won't be impressed until it identifies the proof he wrote in the margin. /s
		help