Theorem IsConnected.unionᵢ_of_reflTransGen

Modification history