Theorem generateFrom_unionᵢ_isOpen

Modification history