Theorem coinduced_sup

Modification history