Theorem Affine.Simplex.ne_orthogonalProjection_faceOpposite

Modification history