Theorem coinduced_le_iff_le_induced

Modification history