Completeness of atomic initial sequents

ID: completeness-of-atomic-initial-sequents

New to topics? Read the docs here!