mathlib3
cdf451db - Try to generalize to bimodules. This doesn't work so well.

Commit

4 years ago

Try to generalize to bimodules. This doesn't work so well.

References

eric-wieser/derivation

Author

eric-wieser

eric-wieser

Parents

Loading