-
Jacques-Henri Jourdan authored
Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom. See merge request robbertkrebbers/coq-stdpp!12
2e5cc41f
Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom. See merge request robbertkrebbers/coq-stdpp!12