-
Guillaume Melquiond authored
Fix the naming of the symmetric conjunction and document the splitting behavior of the asymmetric disjunction.
bad820b7
Fix the naming of the symmetric conjunction and document the splitting behavior of the asymmetric disjunction.