Theorem addSalemSpencer_frontier

Modification history