Theorem Balanced.zero_insert_interior

Modification history