Comment by lozenge

12 hours ago

It is lean-verified, so it can be trusted unless the Lean statement of the hypothesis is not an accurate description of the hypothesis.

0 comments