Theorem Nat.Coprime.symmetric

Modification history

2023-09-17 11:27

Mathlib/Data/Nat/GCD/Basic.lean

chore: bump to v4.1.0-rc1 (2nd attempt) (#7216)

Added Nat.Coprime.symmetric View on Github →

2023-09-15 16:52

Mathlib/Data/Nat/GCD/Basic.lean

Revert "chore: bump to v4.1.0-rc1 (#7174)" (#7198) …

Deleted Nat.Coprime.symmetric View on Github →

2023-09-15 12:48

Mathlib/Data/Nat/GCD/Basic.lean

chore: bump to v4.1.0-rc1 (#7174) …

Added Nat.Coprime.symmetric View on Github →