mathlib
41ea82e3 - feat(archive/imo): add formalised solution of IMO 1994 Q1

Commit

4 years ago

feat(archive/imo): add formalised solution of IMO 1994 Q1

Author

antoinelab01

antoinelab01

Parents

Loading