Diffusion Isabelle a51d2e96203e

omit pointless morphism in global theory;
a51d2e96203e
Actions

Tags

None

Subscribers

None

Description

omit pointless morphism in global theory;

Details

Provenance

Authored on

Parents

rISABELLE40db83793cea: more operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa51d2e96203e: omit pointless morphism in global theory;.May 20 2023, 2:12 PM

Changes (1)

Path

Size

src/

HOL/

rISABELLEa51d2e96203e

src/HOL/Parity.thy

Loading...