Diffusion afp-devel 7e7b23d02d4b

removed unused auxiliary lemmas
7e7b23d02d4b
Actions

Tags

None

Subscribers

None

Description

removed unused auxiliary lemmas

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP87c3943758c0: More about Bernoulli numbers

Branches

Unknown

Tags

Unknown

Event Timeline

haftmann committed rAFP7e7b23d02d4b: removed unused auxiliary lemmas.Nov 22 2019, 10:24 AM

Empty Commit

This commit is empty and does not affect any paths.