Spectral Pairs

Spectral Pairs round (evaluation)

1

Spectral Pairs prop_c (evaluation)

1

Spectral Pairs prop_b (evaluation)

1

Spectral Pairs prop_a (evaluation)

1