return to top
source
This file simply adds LeanArchitect annotations to the two axioms that are imported by the Comparator challenge file.