def internal_div_true_ne_false

bend-mathlib@0.8.1.0 · nat.bend:741

import bend-mathlib@0.8.1.0/nat.bend as Nat

import Base

741def internal_div_true_ne_false(h: {True{} == False{} : Bool}) -> Empty:
742  internal_false_ne_true(Equal.sym(Bool, True{}, False{}, h))

Uses (4)

Used by (4)