Theorem balanced_univ

Modification history