Skip to content

Commit 763ab92

Browse files
YaelDilliesYaelDillies
committed
reduce diff
1 parent 2d91950 commit 763ab92

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎FormalConjectures/ErdosProblems/1052.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -71,4 +71,4 @@ theorem isUnitaryPerfect_87360 : IsUnitaryPerfect 87360 := by
7171
theorem isUnitaryPerfect_146361946186458562560000 : IsUnitaryPerfect 146361946186458562560000 := by
7272
sorry
7373

74-
end Erdos1052
74+
end Erdos1052

0 commit comments

Comments
 (0)