Skip to content
Spell check

Allow ≈ for EmptySets of different dimension #573

Sign in to view logs

Allow ≈ for EmptySets of different dimension

Allow ≈ for EmptySets of different dimension #573

Triggered via pull request February 8, 2025 15:59
@schillicschillic
opened #3802
schillic/EmptySet_isapprox
Status Success
Total duration 11s
Artifacts –

spell-check.yml

on: pull_request
spell-check
3s
spell-check
Fit to window
Zoom out
Zoom in