Theorem Acc.of_downward_closed

Modification history