ag-gipp/GoUldI

View on GitHub
data/mathematica-tex/68.tex

Summary

Maintainability
Test Coverage
 P_x = P - \{ a\mid a \geq x\}