HomeIsabelle/Phabricator

proper Thm.trim_context / Thm.transfer;