Contribution: Rem

Rem Theorem in Baire space

Authors

• Henk Barendregt

Description

A formalisation of Rem Theorem in Baire space

Keywords

rem theorem, baire space

Available files

• Rem.Rem.html