Commit 2025-11-30 19:57 6ed9cc4b

View on Github →

feat: alternative characterisation of SimplyConnectedSpace (#31737)

  • depends on #31574 Note: Proofs in this PR were developed with assistance from Claude.

Estimated changes