Theorem IsPreconnected.iUnion_of_reflTransGen

Modification history