Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

associativity of ideal product #2121

Open
wants to merge 11 commits into
base: master
Choose a base branch
from

prove ideal_dist_r in terms of ideal_dist_l

5dac549
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

associativity of ideal product #2121

prove ideal_dist_r in terms of ideal_dist_l
5dac549
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
nix
succeeded Nov 19, 2024 in 2m 29s