P
Initializing...
Stratum sweep equality: the level-u census of classes born at b equals the filtered diagram sum over bars with birth b and death below u · Prove2Me