HomeIsabelle/Phabricator

recover from unsafe set during Picard iteration

Authored by immler.

Description

recover from unsafe set during Picard iteration

Details

Committed
immlerFri, May 22, 12:29 PM
Parents
rAFP944409c54399: new theorems, esp. on order types
Branches
Unknown
Tags
Unknown