search

stepchowfun / proofs

My personal repository of formally verified mathematics.
Other
291 stars 12 forks source link

Remove a useless theorem #651

Closed stepchowfun closed 9 months ago

stepchowfun commented 9 months ago

Remove a useless theorem.

Status: Ready

Fixes: N/A