Commit 2024-06-04 06:29 1b23e4f1
View on Github →feat: The triple centralizer is equal to the centralizer (#13492) This PR shows (1) that a set is included in its double centralizer, and (2) that the centralizer of a set is equal to its triple centralizer.