Theorem RestrictedProduct.range_inclusion

Modification history