mathlib
d77798a4 - doc(representation_theory/maschke): fix latex (#3965)

Commit

5 years ago

doc(representation_theory/maschke): fix latex (#3965)

References

#4925 - Make prime-avoidance branch build

Author

gebner

gebner

Parents

Loading