-
Jacques-Henri Jourdan authored
Define disjointness of namespaces in terms of masks.\n\nThe proofs are made simpler and some lemmas get more general.
a200a35f
Define disjointness of namespaces in terms of masks.\n\nThe proofs are made simpler and some lemmas get more general.