mathlib3
bc55cd78 - feat(archive/imo) : Add solution to IMO 1994 Q1 (#10171)

Commit

4 years ago

feat(archive/imo) : Add solution to IMO 1994 Q1 (#10171) IMO 1994 Q1 Co-authored-by: Johan Commelin <johan@commelin.net>

Author

antoinelab01

Parents