Theorem Balanced.inter

Modification history