Coq просто подразумевает доказательство

С 2018 года существует гораздо более короткое и элегантное решение. Просто используйте. Array.prototype.sort () .

Пример:

var items = [
  { name: 'Edward', value: 21 },
  { name: 'Sharpe', value: 37 },
  { name: 'And', value: 45 },
  { name: 'The', value: -12 },
  { name: 'Magnetic', value: 13 },
  { name: 'Zeros', value: 37 }
];

// sort by value
items.sort(function (a, b) {
  return a.value - b.value;
});

0
задан OrenIshShalom 16 January 2019 в 06:02
поделиться

1 ответ

Правильная тактика в этом случае - apply.

apply my_first_proof.

rewrite используется, чтобы заменить одну подтерму цели другой, обычно с леммой, показывающей, что эти подтермы в некотором смысле равны или эквивалентны my_first_proof не является доказательством равенства.

0
ответ дан Li-yao Xia 16 January 2019 в 06:02
поделиться