P
Initializing...
Lemma 44, p. 33 — the inclusion X ×_A Y → X × Y is a strong monomorphism · Prove2Me