mathlib3
7799c492 - WIP: try to unbundle all the `hom_class`es

Commit

4 years ago

WIP: try to unbundle all the `hom_class`es

References

fun_like_unbundled

Author

Vierkantor

Vierkantor

Parents

Loading