formula
equality
Sections
ClassicalProps(jlc)
Doc
Theorem
Name
Thm*
F,F':Formula. Dec(F = F')
[decidable__equal_Formula]
cites
Thm*
Discrete{Formula}
[discrete__Formula]
formula
equality
Sections
ClassicalProps(jlc)
Doc
F,F':Formula. Dec(F = F')F,F':Formula. Dec(F = F')