Theorem Nat.sq_sub_sq

Modification history

2024-03-26 23:09

Mathlib/Data/Nat/Defs.lean

chore(Data/Nat): Use Std lemmas (#11661) …

Modified Nat.sq_sub_sq View on Github →

2022-12-16 03:06

Mathlib/Data/Nat/Pow.lean

feat port Data.Nat.Pow (#1050) …

Added Nat.sq_sub_sq View on Github →