Pietro Monticone 206c9fa73f Update Basic.lean		2025-01-13 23:07:46 +01:00
..
OverColor	refactor: Remove redundent imports	2024-12-20 16:46:11 +00:00
TensorSpecies	Update Basic.lean	2025-01-13 23:07:46 +01:00
Tree	refactor: basic golfing and renaming	2025-01-03 05:12:54 +00:00