Skip to content

The pullback assumption for this implication turns out not to be nece…

f494cc2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Strengthen additive_effective_congruences_imply_normal #185

The pullback assumption for this implication turns out not to be nece…
f494cc2
Select commit
Loading
Failed to load commit list.
test
succeeded May 15, 2026 in 21s