Repository URL to install this package:
Lemma FalseLemma : False <-> False. tauto. Qed. Check FalseLemma.