HomeIsabelle/Phabricator

proper name for lemma totalp_on_total_on_eq

Description

proper name for lemma totalp_on_total_on_eq

Details

Provenance
desharnaAuthored on
Parents
rISABELLE39f8051f71d4: update to jdk-17.0.6;
Branches
Unknown
Tags
Unknown