PDE같은데 좀 쓰이나?

양자역학 formalization할때는 쓰이는것같긴 한데

- dc official App