Mathlib v3 is deprecated. Go to Mathlib v4

Theorem char_p.quotient

Modification history

2020-11-28 17:42
src/algebra/char_p/quotient.lean
chore(algebra/char_p): refactor char_p (#5132)
Added char_p.quotientView on Github →