Def rotation

Modification history

2024-08-13 09:26

Mathlib/Analysis/Complex/Isometry.lean

refactor: Make `circle` a type `Circle` (#15116) …

Modified rotation View on Github →

2023-05-24 08:50

Mathlib/Analysis/Complex/Isometry.lean

feat: port Analysis.Complex.Isometry (#4292)

Added rotation View on Github →