Courtade–Kumar proof module `CKLaneM07.FleetT.T0030 (+2 modules: CKLaneM07.FleetT.T0031, CKLaneM07.FleetT.T0032)` (transplant)

Initializing...

Courtade–Kumar proof module `CKLaneM07.FleetT.T0030 (+2 modules: CKLaneM07.FleetT.T0031, CKLaneM07.FleetT.T0032)` (transplant) · Prove2Me