Theorem Affine.Simplex.faceOpposite_map

Modification history