search

math-comp / bigenough

Asymptotic reasoning with bigenough
4 stars 3 forks source link

Fixing typo #3

Closed CohenCyril closed 4 years ago

CohenCyril commented 4 years ago

Fixes #2