HomeIsabelle/Phabricator

generalized standard formula redundancy out of standard redundancy