Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed unused universal variable from lemma reflp_onI
  2. added lemmas irreflD and irreflpD
  3. added lemmas antisym_if_asym and antisymp_if_asymp
  4. strengthened lemma total_on_singleton and added lemma totalp_on_singleton
Changeset 76256:207b6fcfc47d by desharna:
removed unused universal variable from lemma reflp_onI
The file was modified src/HOL/Relation.thy (diff)
Changeset 76255:b3ff4f171eda by desharna:
added lemmas irreflD and irreflpD
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76254:7ae89ee919a7 by desharna:
added lemmas antisym_if_asym and antisymp_if_asymp
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76253:08f555c6f3b5 by desharna:
strengthened lemma total_on_singleton and added lemma totalp_on_singleton
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)