Remix.run Logo
▲ mmastrac 4 hours ago

There are some interesting gaps in the proofs. Where did 045 go?