[top][index]
search for:
source -- source of a map

source h -- the source of a morphism h.

Ways to use source :

  • source Thing

    • [top][index]
    search for: