Theorem IsExposed.inter_left

Modification history