lean_workbook_plus_63715
ProvedSet consists of the numbers from through , and set consists of the numbers from through , inclusive. How many numbers are in or ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_63715 (A B : Finset ℕ) : A = {5, 6, 7, 8, 9, 10} ∧ B = {1, 2, 3, 4, 5, 6} → A ∪ B = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} := by sorrySource