HomeIsabelle/Phabricator

Adapted to 2021-RC2; renamed lemma ccc_Fn_nat -> ccc_Fn_2

Description

Adapted to 2021-RC2; renamed lemma ccc_Fn_nat -> ccc_Fn_2

Details

Provenance
sterrafAuthored on
Parents
rAFPfabc5f83d7ed: merged
Branches
Unknown
Tags
Unknown