Mathlib Changelog
v4
Changelog
About
Github
Theorem
zpow_lt_of_lt
Modification history
2024-02-12 09:20
Mathlib/Tactic/GCongr.lean
chore(Tactic/GCongr): move `@[gcongr]` tags around (#9393) …
Deleted
zpow_lt_of_lt
View on Github →
2023-06-05 08:37
Mathlib/Tactic/GCongr.lean
feat: tactic `gcongr` for "relational congruence" (#3965) …
Added
zpow_lt_of_lt
View on Github →