Most of them do not have Lean proofs, and 3 of those that don't have already bee...

		omnicognate 7 days ago \| parent \| context \| favorite \| on: The Mathocalypse Most of them do not have Lean proofs, and 3 of those that don't have already been found incorrect.
		help