HomeIsabelle/Phabricator
Diffusion afp-devel aa8210767115

indent, new lemma "inj_show_nat"
aa8210767115
Actions

Description

indent, new lemma "inj_show_nat"

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPc9df2bf00af9: Update
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPaa8210767115: indent, new lemma "inj_show_nat".Apr 8 2024, 1:27 PM

Changes (1)

PathSize
thys/
Show/

rAFPaa8210767115

View Options

thys/Show/Show_Instances.thy

Loading...