Template:Fact category

This is a category (or supercategory) listing a broad class of facts/results/theorems