Add q-TSPP theorem statement - #656

Add q-TSPP theorem statement#656

tchow12000-coder wants to merge 1 commit into

leanprover:mainleanprover/lean-eval:mainfrom

tchow12000-coder:q-tspp-statementtchow12000-coder/lean-eval:q-tspp-statementCopy head branch name to clipboard