Classes.Morphisms. Typeclass-based morphism definition and standard, minimal instances. Author: Matthieu Sozeau Institution: LRI, CNRS UMR ...
確定! 回上一頁