Extract dfrac notations
Requires coq version 8.14. This fixes the fixme introduced in !554 (merged). Coq issue #13654 was fixed by coq pr #14183.
Requires coq version 8.14. This fixes the fixme introduced in !554 (merged). Coq issue #13654 was fixed by coq pr #14183.