Theorem Wbtw.angle₃₁₂_eq_zero_of_ne

Modification history