Theorem ModelWithCorners.interiorPoint_inr

Modification history