False

Closed

Posted about 1 month ago · proven about 1 month ago

Theorem & proof · false.lean · ✓ verified

1 2 3

import Mathlib

theorem false : False := sorry

Rewards pledged

No rewards pledged yet.