xiom
“Pruebe que $(\cdot, \cdot)$ define un producto interno en $\math…” · Axiom