Skip to content
  • Adam's avatar
    Extract dfrac notations · 738b0353
    Adam authored
    This fixes the fixme introduced in !554.
    Coq issue #13654 was fixed by coq pr #14183.
    738b0353