LB – thank you – I listened to part of it, but he didn’t give a source as far as I could tell, so it didn’t really help me.
I listened to a couple of other shiurim meanwhile of the topic but they also didn’t bring sources for this.
I did find a place online where it discussed it, and brought sources, but I am not familiar with any of these sources, and had trouble finding them on hebrewbooks. There were sefarim with some of the same names, but I wasn’t sure if they were the right sefarim, and I couldn’t find the place quoted.
If you’re around, DY, and can help me, that would be great. You’re always very good at finding things on hebrewbooks.
The sources were: ????? ????? 72/2, ??? ?????? ??? ?,
vol 2, 8417 ??”? ?? ????
(assuming I copied them down right).