Morgan Griffiths Morgan-Griffiths

## Submission.lean
import Mathlib

namespace Submission

theorem two_plus_two_eq_four : (2 : Nat) + 2 = 4 := by
  norm_num

end Submission
	import Mathlib

	namespace Submission

	theorem two_plus_two_eq_four : (2 : Nat) + 2 = 4 := by
	norm_num

	end Submission