Actions
Feature #10426
openA predicate to express congruence
Feature #10426:
A predicate to express congruence
Status:
Open
Assignee:
-
Target version:
-
Description
Actions
Added by sawa (Tsuyoshi Sawada) almost 12 years ago. Updated almost 12 years ago.
Description
@Tsuyoshi Sawada san
I like it.
One thing I'm a little worried about is congruent? might be too specified word.
I mean, I'm not sure congruent can be used in except modulo or geometry context.
How about similar? or analog? ?