Theorem absorbs_iInter

Modification history