3 commits

Author	SHA1	Message	Date
jstoobysmith	f83908e259	docs: More todos	2024-07-09 19:22:16 -04:00
jstoobysmith	f03d063c86	refactor: Remove double empty lines	2024-07-03 07:56:30 -04:00
jstoobysmith	049370513d	refactor: Create Mathematics folder	2024-06-26 14:04:18 -04:00

Renamed from HepLean/AnomalyCancellation/LinearMaps.lean (Browse further)