Avatar
omochimetaru 1/24/2020 2:19 AM
@nanasi それはlower-boundなだけでなくてCRTPになってるから更にややこしそうですね 僕も見た記憶がある