Theorem RestrictedProduct.inclusion_eq_id

Modification history