HomeIsabelle/Phabricator

added lemmas image_grounding_of_cls_grounding_of_cls and…

Description

added lemmas image_grounding_of_cls_grounding_of_cls and grounding_of_clss_grounding_of_clss[simp]

Details

Provenance
desharnaAuthored on
Parents
rAFP69d56d231e8d: merged
Branches
Unknown
Tags
Unknown