Falsify literal Lemma 6.1 bounds with exact Gaussian family

9a05399

verified

DineshAI commited on 10 days ago