Lean repository linked
ICC property (T) groups without W^*-superrigidity
arXiv:2608.02327 · arXiv
Lean formalisations (1)
utensil/connes-rigidity at 9b164b6e18f7
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.