Skip to content

chore: remove unnecessary whitespace

39721e1
Select commit
Loading
Failed to load commit list.
Merged

chore: add comments to Fixpoints.lean #19

chore: remove unnecessary whitespace
39721e1
Select commit
Loading
Failed to load commit list.