Theorem GCongr.natCast_le_natCast

Modification history

2024-02-12 09:20
Mathlib/Data/Nat/Cast/Order.lean
chore(Tactic/GCongr): move `@[gcongr]` tags around (#9393) …
Added GCongr.natCast_le_natCastView on Github →