Skip to main content
Mathematics
Antonielly's user avatar
Antonielly's user avatar
Antonielly's user avatar
Antonielly
  • Member for 4 years, 5 months
  • Last seen more than a month ago
Profile Activity

Stats

90
reputation
4k
reached
16
answers
1
question
Communities
View all

Badges

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
8
bronze badges

Top tags

View all tags
2
Score
2
Posts
12
Posts %
2
Score
2
Posts
12
Posts %
1
Score
2
Posts
12
Posts %
1
Score
2
Posts
12
Posts %
1
Score
2
Posts
12
Posts %
1
Score
2
Posts
12
Posts %

Top posts

View all questions and answers
1
Group action on monoid with involution - Laws relating involution of element (from monoid) with inverse function (from group)
Aug 14, 2022
1
Why is $\lambda x.\lambda y.xy$ not reducible to $\lambda x.x$?
Nov 26, 2024
1
Correct way to do logical negation? (cf inverse, opposite, contrapositive)
Nov 30, 2024
1
Why does the mechanical work of getting the conjunctive normal form and disjunctive normal form work?
Dec 1, 2024
1
Permutation matrix associated to a group action.
Dec 22, 2024
1
General formula for product of permutation matrices (duplicate)
Dec 22, 2024
1
Boolean Algebra Union and Intersection
Dec 23, 2024
0
What is an example of a groupoid which is not a semigroup?
Nov 16, 2021
0
Does an asymmetric relation entail an antisymmetric relation?
Apr 10, 2022
0
Possible examples of real life membership relations that are non-transitive ( not necessarily intransitive)?
Apr 6, 2023

Top network posts

View all network posts
6
Why Haskell doesn't have a single element tuple?