Theorem iSup_insert

Modification history