Lewis's triviality result

ID: lewis-s-triviality-result

New to topics? Read the docs here!