Theorem eventually_residual_liouville

Modification history