Theorem ModelWithCorners.range_prod

Modification history