@misc{indiciaef43aecff2c49,
  title = {Conditional Separation as a Binary Relation. A Coq Assisted Proof},
  author = {Jean-Philippe Chancelier and Michel de Lara and Benjamin Heymann},
  year = {2024},
  url = {https://arxiv.org/abs/2108.03018},
  note = {Source identifier: 2108.03018}
}