Absolutely. Since they are claiming copyright infringement on random stuff they didn't write, how many things are going to get caught and not have the reputatio

Absolutely. Since they are claiming copyright infringement on random stuff they didn't write, how many things are going to get caught and not have the reputation of SymPy?