The inherited identity for an arbitrary lift

The null defect in the one source-complete module › The inherited identity for an arbitrary lift · lines 1023–1028

For the actual graph, $F_{0}$ is undefined (Proposition prop:nolift), so (eq:nulltest) has no computed left-hand side in this release.

Nearby in this section