IndisputableMonolith.Masses.SectorParams
IndisputableMonolith/Masses/SectorParams.lean · 3 lines · 0 declarations
show as:
view math explainer →
1-- Sector parameters (kept minimal; depends on specific modules elsewhere)
2
3