HomeIsabelle/Phabricator

added missing congruence rule

Description

added missing congruence rule

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP34a31d29f666: streamlined
Branches
Unknown
Tags
Unknown

Event Timeline