Theorem Sym2.map_pmap

Modification history

2025-07-08 11:58

Mathlib/Data/Sym/Sym2.lean

chore: whitespace fixes in lemmas (#26892) …

Modified Sym2.map_pmap View on Github →

2024-11-14 00:39

Mathlib/Data/Sym/Sym2.lean

feat(Sym2): Add pmap (#16557) …

Added Sym2.map_pmap View on Github →