fork download
copy 
  1. Parameter A:Prop.
  2. Goal (A -> False) <-> (forall Z:Prop, A -> Z).
  3. split.
  4.  intros. elim H. assumption. 
  5. intros. eapply (H False). exact H0.
  6. Qed.
Not running #stdin #stdout 0s 0KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
https://ideone.com/IDemv
language:
Text (text 6.10)
created:
14 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!