请问:原书解答中 This adds m propositions {E}i at the main level.到底啥意思?(见附件中划红线那句)
548k questions
547k answers
4 comments
86.3k users