HomeIsabelle/Phabricator

export BNF properties about the cardinal bound (by Jan van Brügge)