Icon documentationis Documentatio formulae

{{Petitio/dum}} est subformula auxiliaris qua aliae formulae utuntur, humanis non est directe invocanda.