Theorem Balanced.closure

Modification history