regularity theorem

Input interpretation

regularity theorem