8.6. Katana RKEM (optimised)🔗

Definition8.6.1

Group: Katana RKEM (optimised). (3)

Group member previews

Preview

Theorem 8.6.2

Loading preview

Group member preview content is loaded from the rendered-fragment cache.

uses 1

Used by 3

Reverse dependency previews

Preview

Theorem 8.6.2

Loading preview

Reverse dependency preview content is loaded from the rendered-fragment cache.

XL∃∀N

GitHub#85

\todo

LeanLean anchor pending

Theorem8.6.2

Group: Katana RKEM (optimised). (3)

Group member previews

Preview

Definition 8.6.1

Loading preview

Group member preview content is loaded from the rendered-fragment cache.

Statement uses 3

Statement dependency previews

Preview

Definition 8.1.1

Loading preview

Statement dependency preview content is loaded from the rendered-fragment cache.

used by 0XL∃∀N

GitHub#86

\todo

LeanLean anchor pending

Theorem8.6.3

Group: Katana RKEM (optimised). (3)

Group member previews

Preview

Definition 8.6.1

Loading preview

Group member preview content is loaded from the rendered-fragment cache.

Statement uses 3

Statement dependency previews

Preview

Definition 8.1.1

Loading preview

Statement dependency preview content is loaded from the rendered-fragment cache.

used by 0XL∃∀N

GitHub#87

\todo

LeanLean anchor pending

Theorem8.6.4

Group: Katana RKEM (optimised). (3)

Group member previews

Preview

Definition 8.6.1

Loading preview

Group member preview content is loaded from the rendered-fragment cache.

Statement uses 3

Statement dependency previews

Preview

Definition 8.1.1

Loading preview

Statement dependency preview content is loaded from the rendered-fragment cache.

used by 0XL∃∀N

GitHub#88

\todo

LeanLean anchor pending