Theorem ne₁₂_of_not_collinear

Modification history