File: axiom_of_power_set.tex

package info (click to toggle)
haskell-texmath 0.3.0.2-2
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 400 kB
  • ctags: 2
  • sloc: haskell: 933; sh: 14; 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)]