mathlib3
f2ef686b - Defined thinness of a hypertope

Commit
3 years ago
Defined thinness of a hypertope
Author
Parents
Loading