target f
This yields the target of a map of a labeled module, as a labeled module.
|
|
|
|
|
|
The source of this document is in TensorComplexes.m2:1838:0.