Math 2.0

Resources / problem-set

IMO 2013 Shortlist H4E7HGARFS

URIm2://res/H4E7HGARFS
Kindproblem-set
Date2013
Scopedeferred (no test decides the record, and the classifier has no model)

Expressions

e1: edition

Date2013

Catalogue records