Theorem interior_iInter₂_lt_nat

Modification history