mathlib3
416edbd3 - chore(ring_theory/polynomial/symmetric): golf proofs (#14866)

Commit

3 years ago

chore(ring_theory/polynomial/symmetric): golf proofs (#14866)

Author

eric-wieser

eric-wieser

Parents

Loading