Skip to content
Success

Changes

Summary

  1. tuned proof
Changeset 7515:924248d56075 by haftmann:
tuned proof
The file was modified thys/Flyspeck-Tame/FaceDivisionProps.thy (diff)