Smith–Thom inequality for topological groupoids with involution
Smith–Thom conjecture. The inequality