Theorem RestrictedProduct.exists_inclusion_eq_of_eventually

Modification history