Theorem pow_injOn_Iio_orderOf

Modification history