Theorem coinduced_mono

Modification history