Diffusion Isabelle 66cae055ac7b

strengthened and renamed lemma trans_converse and added lemma…
66cae055ac7b
Actions

Tags

None

Subscribers

None

Description

strengthened and renamed lemma trans_converse and added lemma transp_on_conversep

Details

Provenance

Authored on

Parents

rISABELLE66f17783913b: strengthened and renamed trans_reflclI

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE66cae055ac7b: strengthened and renamed lemma trans_converse and added lemma….Dec 19 2022, 4:12 PM

desharna mentioned this in rAFP526b66ccd04f: fixed proof following Isabelle/66cae055ac7b.Dec 23 2022, 12:18 PM

Changes (2)

Path

Size

src/

HOL/

rISABELLE66cae055ac7b

NEWS

Loading...

src/HOL/Relation.thy

Loading...