Fix bug in covering map of simplicial set with degenerate faces. #42115
Triggered via pull request
October 22, 2024 16:55
miguelmarco
miguelmarco
labeled
#38837
Status
Skipped
Total duration
2s
Artifacts
–