A198

Related Documents
(none)
Related Theorems
(none)
Equivalence Assertions
(none)
Related Subjects
(none)
Favorite Subjects
(none)
A198: ∀x: you, (x)⇒ true
By User 3 on on 2011-12-13

Create a theorem from this assertion.

Related Assertions
(none)

0 Comments on A198

No comments yet.

add a comment