Source: wikibot/formal-manifold

= Formal manifold
{wiki=Formal_manifold}