Theorem achart_def

Modification history