Theorem coinduced_iSup

Modification history