Theorem Combinatorics.Subspace.reindex_isMono

Modification history

2024-07-23 15:36
Mathlib/Combinatorics/HalesJewett.lean
feat: Combinatorial subspaces and multidimensional Hales-Jewett (#8304) …
Added Combinatorics.Subspace.reindex_isMonoView on Github →