Notes for AKT-091020/0:37:29
From Drorbn
Jump to navigationJump to search
gr [math]\displaystyle{ \circ }[/math] fil [math]\displaystyle{ \cong }[/math](naturally equivalent) Id,
but fil [math]\displaystyle{ \circ }[/math] gr is not naturally equivalent to identity.
