Category:Condition for Composite Relation with Inverse to be Identity

From ProofWiki
Jump to navigation Jump to search