Triple negation "elimination"

||| Triple negation "elimination".
TNE : Type
TNE = (t : Type) -> Not (Not (Not t)) -> Not t

total triple_negation_not_needed : TNE

Please log in; otherwise your solution and progress won't be saved