Theorem Affine.Simplex.face_map

Modification history