Theorem balancedCore_eq_interᵢ

Modification history