P
Initializing...
Bounded defect of the ambient rotation under composition · Prove2Me