The top documents tagged [formality theorem]