Raemon comments on Infrafunctions Proofs

[Raemon]

I think this could use a brief into linking to the other post and explaining the context of this one.