Commit 2025-10-07 10:51 c049c5a3

View on Github →

chore(GroupTheory/Perm): deprecate mem_of_formPerm_ne_self and formPerm_eq_self_of_notMem (#28441)

Estimated changes