Origin Definitions Sections ClassicalProps(jlc) Doc

formula_equality
Nuprl Section: formula_equality
Selected Objects
THMdiscrete__FormulaDiscrete{Formula}
THMdiscrete__Formula__with_rankDiscrete{Formula}
THMdecidable__equal_FormulaF,F':Formula. Dec(F = F')

Origin Definitions Sections ClassicalProps(jlc) Doc