Theorem Homeomorph.coinduced_eq

Modification history