Commit 2020-07-21 09:25 1a31e69c

chore(algebra/group/anti_hom): remove is_group_anti_hom (#3485) is_group_anti_hom is no longer used anywhere, so I'm going to count it as deprecated and propose removing it.