Theorem iInf₂_mono

Modification history