Rough Approximate Subgroups - Fanlo, Arturo Rodriguez; Wagner, Frank O (Notre Dame Journal of Formal Logic, 2025)