HomeIsabelle/Phabricator

comment makes no sense

Authored by nipkow.

Description

comment makes no sense

Details

Committed
nipkowFri, May 22, 7:21 PM
Parents
rISABELLE3e343c0c2138: added simp lemma
Branches
Unknown
Tags
Unknown