Actions: leanprover-community/mathlib4
Actions
37,672 workflow runs
37,672 workflow runs
Ideal.associatesEquivIsPrincipal
for generators that are non-zero-divisors
Detect changes to header SHAs
#53559:
Pull request #12780
opened
by
xroblot
RingTheory.Ideal.Operations
Detect changes to header SHAs
#53549:
Pull request #12777
synchronize
by
xroblot
RingTheory.Ideal.Operations
Detect changes to header SHAs
#53547:
Pull request #12777
opened
by
xroblot
q * q.den = q.num
Detect changes to header SHAs
#53546:
Pull request #12739
synchronize
by
YaelDillies
Units
and Associates
of nonZeroDivisors
Detect changes to header SHAs
#53543:
Pull request #12776
opened
by
xroblot
Pi.orthonormalBasis
Detect changes to header SHAs
#53542:
Pull request #12242
synchronize
by
eric-wieser