Theorem Affine.Simplex.signedInfDist_apply_self

Modification history