mathlib3

a76501b0 - state facts for unit_add_circle