Commit 2024-01-16 14:21 b52b6c43
View on Github →feat: lemmas about NhdsSet (#9674) From sphere-eversion; I'm just submitting these. Thanks to @urkud for some review suggestions.
feat: lemmas about NhdsSet (#9674) From sphere-eversion; I'm just submitting these. Thanks to @urkud for some review suggestions.