Theorem Valuation.zero_iff

Modification history