Theorem Condensed.comp_val

Modification history