Your search +path:simpletheoremhideshift +path:. +path:theoremhideshiftwithonehidingdefedgeaux did not match any files.
Suggestions: