Pietro Monticone 89baced65e cleanup		2025-01-13 23:59:30 +01:00
..
Basic.lean	refactor: More redundant imports	2024-12-20 16:53:14 +00:00
BMinusL.lean	refactor: More redundant imports	2024-12-20 16:53:14 +00:00
BoundPlaneDim.lean	refactor: More redundant imports	2024-12-20 16:53:14 +00:00
FamilyMaps.lean	refactor: Replace tactics with rfl if allowed.	2024-09-03 15:16:06 -04:00
HyperCharge.lean	refactor: More redundant imports	2024-12-20 16:53:14 +00:00
PlaneNonSols.lean	cleanup	2025-01-13 23:59:30 +01:00
QuadSol.lean	refactor: More simps	2024-10-12 08:42:20 +00:00
QuadSolToSol.lean	refactor: More redundant imports	2024-12-20 16:53:14 +00:00