Theorem gc_coinduced_induced

Modification history