Skip to content

Fill multiset_eq_of_prod_gcd_eq' (with IsPrimePow fix)

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

Structurally fill group_theory_lemma (reduce to invariant factor uniqueness) #72

Fill multiset_eq_of_prod_gcd_eq' (with IsPrimePow fix)
0a7e044
Select commit
Loading
Failed to load commit list.

Annotations

2 warnings
gate
succeeded Apr 9, 2026 in 4s