Theorem balanced_iUnion

Modification history