Theorem isInducing_prodMkLeft

Modification history