Theorem: not_bij (Instructor/Lectures/grad/sets_relations.lean)

State before:
⊢ Bijective Bool.not
Tactic:
unfold Bijective
State after:
⊢ Injective Bool.not ∧ Surjective Bool.not

State before:
⊢ Injective Bool.not ∧ Surjective Bool.not
Tactic:
exact ⟨ inj_not, surj_not ⟩
State after:
no goals