Small golfs. Fix a bad finiteness tag; a rule should have been #822
Annotations
1 error
|
Run leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8
Process completed with exit code 1.
|
Loading