Theorem ne₁₃_of_not_collinear

Modification history