1. T : Type
2. T ~ T ⟶ 𝔹
⊢ False
{ RepeatFor 2 (D (-1)) }
1. T : Type
2. f : T ⟶ T ⟶ 𝔹
3. Inj(T;T ⟶ 𝔹;f)
4. Surj(T;T ⟶ 𝔹;f)
⊢ False