I found a brilliant proof but there was not enough hard disk space to save the f...

		charlieyu1 2 days ago \| parent \| context \| favorite \| on: Formalizing Fermat's Last Theorem I found a brilliant proof but there was not enough hard disk space to save the file :(
		help