mathlib
1dd60802 - feat(ring_theory/derivation): drop unused `is_scalar_tower` (#10995)

Commit

4 years ago

feat(ring_theory/derivation): drop unused `is_scalar_tower` (#10995)

Author

urkud

urkud

Parents

Loading