TY  - RPRT
TI  - Conditional Separation as a Binary Relation. A Coq Assisted Proof
AU  - Jean-Philippe Chancelier
AU  - Michel de Lara
AU  - Benjamin Heymann
PY  - 2024
UR  - https://arxiv.org/abs/2108.03018
ID  - 2108.03018
ER  -