PhysLean/HepLean.lean

import HepLean.AnomalyCancellation.Basic
import HepLean.AnomalyCancellation.GroupActions
import HepLean.AnomalyCancellation.LinearMaps
feat: Add basic definitions for anomaly cancellation 2024-04-16 16:01:44 -04:00			`import HepLean.AnomalyCancellation.Basic`
feat: add group actions 2024-04-17 09:14:27 -04:00			`import HepLean.AnomalyCancellation.GroupActions`
feat: Basics of anomaly-cancellation. 2024-04-16 15:34:00 -04:00			`import HepLean.AnomalyCancellation.LinearMaps`