Sentence 1: An alternative extension to compact groups is the Peter Weyl theorem , which proves results about representations of finite groups analogous to those about compact groups .
Sentence 2: An alternative extension to compact groups is the Peter -- Weyl -- Theorem , which shows results about representations of compact groups analogous to those about finite groups .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?