OAI/Analysis/AncientFlat/Profile/ProfileData.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FlatMain.rightD line 9
2. def OAI.FlatMain.rightT line 10
3. def OAI.FlatMain.eulerShift line 11
4. def OAI.FlatMain.profileQ line 12
5. structure OAI.FlatMain.ProfileData line 14