P
Initializing...
Proposition 3.1 — existence and uniqueness of the aggregate · Prove2Me