Pol Roman

A counterexample to J. de Groot's conjecture cmp=def