Diffusion Isabelle a7c6722fbaf1

NEWS
a7c6722fbaf1
Actions

Tags

None

Subscribers

None

Description

NEWS

Details

Provenance

Authored on

Parents

rISABELLE75e1b94396c6: added lemmas reflp_on_subset, totalp_on_subset, and total_on_subset

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEa7c6722fbaf1: NEWS.Jun 4 2022, 3:59 PM

Changes (1)

Path

Size

rISABELLEa7c6722fbaf1

NEWS

Loading...