Template:Baire category theorem/Metadata