Theorem Equiv.toHomeomorphOfIsInducing_apply

Modification history