Counting the two corner triangles

theorem LatinQuarter.cornerSet_card_le (n : ℕ) : (cornerSet n).card ≤ n * n / 4

Fold the two corner triangles into a rectangle with n/2 rows and n-n/2 columns. Their images lie on opposite sides of its anti-diagonal.