Archive of Formal Proofs

1 points | by Bluestein an hour ago