Commit 2025-04-22 13:56 863a5521
View on Github →chore(ClusterPt): review API&names about AccPt
(#24226)
- use
accPt
instead ofacc
in lemma names; - use implicit arguments in
Iff
and dot notation lemmas; - add a few convenience lemmas.
chore(ClusterPt): review API&names about AccPt
(#24226)
accPt
instead of acc
in lemma names;Iff
and dot notation lemmas;