Theorem ne₂₃_of_not_collinear

Modification history