Commit 2026-02-01 00:52 5cb27be8

View on Github →

refactor: exist_roots → exists_root (#34657) This matches IsAlgClosed.exists_root and IsAlgClosed.of_exists_root. Besides, exists is quite more common as a spelling for ∃ than exist.

Estimated changes