Template:Fact application category

From Diffgeom

This category lists facts that can be proved as an application of the following result: [[{{{1}}}]]