refactor: change definition of closed terms

[hargoniX]

No description provided.

[hargoniX]

!bench

[leanprover-radar]

Benchmarking e630fc6 (status) against ce8fdb1 (status).

_{React with 👀 to be notified when the results are in. The command author is always notified.}

[hargoniX]

!bench

[leanprover-radar]

Benchmarking 0877819 (status) against ce8fdb1 (status).

_{React with 👀 to be notified when the results are in. The command author is always notified.}

[hargoniX]

!bench

[leanprover-radar]

Benchmarking cbbeaee (status) against ce8fdb1 (status).

_{React with 👀 to be notified when the results are in. The command author is always notified.}

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for cbbeaee against ce8fdb1 are in! @GarmelonLarge changes (7✅, 52🟥)

• Too many entries to display here. View them on radar instead.
  Medium changes (51✅, 189🟥)

• Too many entries to display here. View them on radar instead.
  Small changes (96✅, 1881🟥)

• Too many entries to display here. View them on radar instead.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for cbbeaee against ce8fdb1 are in! @Garmelon

Large changes (7✅, 52🟥)

Too many results to display here. View the full report on radar instead.

Medium changes (51✅, 189🟥)

Too many results to display here. View the full report on radar instead.

Small changes (96✅, 1881🟥)

Too many results to display here. View the full report on radar instead.

[hargoniX]

!bench

[leanprover-radar]

Benchmark results for 2565e03 against fd88637 are in! @hargoniX

Large changes (6✅, 45🟥)

Too many entries to display here. View the full report on radar instead.

Medium changes (51✅, 156🟥)

Too many entries to display here. View the full report on radar instead.

Small changes (95✅, 1918🟥)

Too many entries to display here. View the full report on radar instead.