Skip to content

Streamline some syntactic proofs #155

Streamline some syntactic proofs

Streamline some syntactic proofs #155