mathlib3
ddbec3aa - A take on submodule_functor by jmc
Commit
View On GitHub
Commit
6 years ago
A take on submodule_functor by jmc
References
iso_induction
Author
jcommelin jcommelin
Parents
a3d685fd
FAQ Terms Privacy Refunds Impressum
Loading