Theorem interior_iInter₂_le_nat

Modification history