jstoobysmith be1eae085a docs: Improve documentation for informal lemmas.		2024-11-29 11:06:19 +00:00
..
AllFilePaths.lean	refactor: Lint	2024-09-04 08:33:00 -04:00
Basic.lean	refactor: Lint	2024-11-12 10:00:23 +00:00
Informal.lean	docs: Improve documentation for informal lemmas.	2024-11-29 11:06:19 +00:00
TransverseTactics.lean	refactor: Lint	2024-09-04 08:33:00 -04:00