--- date: 2022-04-15 13:08 modification date: Friday 15th April 2022 13:08:18 title: "moving lemma" aliases: [moving lemma] --- Last modified date: <%+ tp.file.last_modified_date() %> --- - Tags: - #todo/untagged - Refs: - #todo/add-references - Links: - #todo/create-links --- # moving lemma Used to prove uniqueness of ring structure on [Chow](Unsorted/Chow%20ring.md). ![](attachments/Pasted%20image%2020220415130821.png) ![](attachments/Pasted%20image%2020220415135314.png) ![](attachments/Pasted%20image%2020220415135333.png) ![](attachments/Pasted%20image%2020220415203238.png)