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