Given an OFE , a sequence of elements drawn from is coherent iff for all .
Author: Nicholas Coltharp (mail@heraplem.xyz)
Last modified: 2026-08-17 Mon 16:14
Emacs 31.1 (Org mode 9.8.7)
Validate