remark on a coq <-> paper difference

1 job for master