BlockCellGoodGain.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Apply the regular incidence gain directly to a linear profile cell. One explicit geometric constant controls all the required point and cover data.