Lemma 20.46.3. The total complex associated to the tensor product of two strictly perfect complexes is strictly perfect.
Proof. Omitted. $\square$
Lemma 20.46.3. The total complex associated to the tensor product of two strictly perfect complexes is strictly perfect.
Proof. Omitted. $\square$
Comments (0)