Last modified date: <%+ tp.file.last_modified_date() %>

equivariant homotopy group

attachments/Pasted%20image%2020220510190015.png

attachments/Pasted%20image%2020220510190203.png

attachments/Pasted%20image%2020220510190546.png

Coinduction and induction

attachments/Pasted%20image%2020220510190715.png

attachments/Pasted%20image%2020220510190807.png

attachments/Pasted%20image%2020220510191128.png