Revision #177 → #1311 · back to history
addedIdentity function974c1b42ad22
addedFormal definition of identity functiona028e170312f
addedIdentity function is bijective8bf42fd2c79d
addedNotation for identity function4a72a15cdfd7
addedIdentity function as identity relation05fe3272502d
addedComposition with identity functione590a55b1ce1
addedIdentity is identity element of function monoidce75e47f7a45
addedIdentity as monoid identity element / identity morphism0ddfa7ccce08
addedIdentity function is a linear operator2379663bcd5a
addedIdentity function represented by identity matrixa00c984c9b61
addedIdentity is completely multiplicative532301ade2e5
addedIdentity function is an isometry730665b595f5
addedIdentity function is continuous53c56c5d7631
addedIdentity function is idempotent7a3cb7d4e78a
addedMaps from a singleton set54e1caaa6957