Theorem RingQuot.ringQuot_ext

Modification history

2023-07-24 09:11

Mathlib/Algebra/RingQuot.lean

feat: add scalar tower instances for RingQuot and BilinForm (#6066) …

Modified RingQuot.ringQuot_ext View on Github →

2023-04-21 08:03

Mathlib/Algebra/RingQuot.lean

feat: port Algebra.RingQuot (#3383)

Added RingQuot.ringQuot_ext View on Github →