0bed8300c4821bf3239984e3409c7068ca708ffa33a25cb07b5e1d7561087906b128b81c0d747ad0e8e5007f20b758c74d13826f

열심히 썼어

근데 topological group의 inv limit도 써야하는데 귀찮아서 아직 못씀...