Skip to content

Journals Garden

Select theme

Logseq

Select theme

On this page

Overview
Back
Lean

On this page

Overview
Back
Lean

Permutation

Permutation #Card
- A bijection $f : X \to X$.

Back

Section titled “Back”

A bijection $f : X \to X$.

Lean

Section titled “Lean”

Equiv.Perm X (X ≃ X)