Theorem achart_val

Modification history