HomeIsabelle/Phabricator

tuned lift_bnf's user interface for quotients