This question was asked in Theorem 7.2

SAS rule

Geeta vinayak Alur's image
Geeta vinayak Alur
Dec. 29, 2020, 11 a.m.