HomeIsabelle/Phabricator

new entries by Mihails Milehins

Description

new entries by Mihails Milehins

CZH_Elementary_Categories, CZH_Foundations,
CZH_Universal_Constructions, Conditional_Simplification,
Conditional_Transfer_Rule, Intro_Dest_Elim, and Types_To_Sets_Extension

Details

Provenance
kleingAuthored on
Parents
rAFPcc0ec6506f3e: New entry: Dominance_CHK
Branches
Unknown
Tags
Unknown