ag-gipp/GoUldI

data/mathematica/256.mml

Summary

Maintainability

Test Coverage

Issues

<math 
  xmlns='http://www.w3.org/1998/Math/MathML'>
  <semantics>
    <mrow>
      <mi>GCH</mi>
      <mo>+</mo>
      <mi>ZFC</mi>
    </mrow>
    <annotation-xml encoding='MathML-Content'>
      <apply>
        <plus />
        <ci>GCH</ci>
        <ci>ZFC</ci>
      </apply>
    </annotation-xml>
  </semantics>
</math>