P
Initializing...
Proposition 3.6(1), p. 12 — closure of the hemi-bracket · Prove2Me