Commit 2024-11-18 07:41 9509b8dc

View on Github →

feat: determinant of reflection (#19016)

Estimated changes

added theorem det_reflection