Skip to content

Update Mathlib/NumberTheory/ModularForms/ArithmeticSubgroups.lean

a0c911e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat: hasDetPlusMinusOne_iff_abs_det #33356

Update Mathlib/NumberTheory/ModularForms/ArithmeticSubgroups.lean
a0c911e
Select commit
Loading
Failed to load commit list.