instance QuasiBorelSpace.Unit.instUnit : QuasiBorelSpace Unit

Equations

• QuasiBorelSpace.Unit.instUnit = default

instance QuasiBorelSpace.PUnit.instPUnit : QuasiBorelSpace PUnit.{u_2 + 1}

Equations

• QuasiBorelSpace.PUnit.instPUnit = default