File: axiom_of_power_set.tex

package info (click to toggle)
haskell-texmath 0.6.0.6-1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 680 kB
  • sloc: haskell: 1,387; sh: 32; makefile: 4
file content (1 line) | stat: -rw-r--r-- 100 bytes parent folder | download | duplicates (7)
1
   \forall A \, \exists P \, \forall B \, [B \in P \iff \forall C \, (C \in B \Rightarrow C \in A)]