navigation Press "/" to search.
Press "j" or "k" to scroll down or up.

Click on the tags to expand them.

area
project
- exam-prep
- post-notes
resource
- auth
  - Auth.html
  - Kerberos.html
  - access-control
    
    Access Control.html
    
    Mandatory Access Control.html
- authorization
  - access-control
    
    Discretionary Access Control.html
    
    Role-based Access Control.html
    
    Unix Access Control and ACLs.html
- automaton
  - Pumping Lemma.html
- compsci
- computer-architecture
  - cpu
    
    computer-architecture-cisc.html
    
    computer-architecture-control-unit.html
    
    computer-architecture-register.html
    
    computer-architecture-risc.html
- cryptography
  - asymmetric-encryption
    
    cryptography-diffie-hellman-key-exchange.html
    
    cryptography-rsa.html
  - cipher
    
    cryptography-caeser-cipher.html
    
    cryptography-substitution-cipher.html
  - hybrid-encryption
    
    cryptography-hybrid-encryption.html
- development
  - development-programming-md-templates.html
  - development.html
- exam-prep
  - round-up
    
    Dynamic Routing.html
- formal-language
  - Pumping Lemma.html
- ip
  - Internet Protocol.html
- it-security
- layer-3
- math
- modeling
  - modeling-petri-nets.html
  - modeling-unified-modeling-language.html
  - graph
    
    modeling-graph.html
    
    modeling-resource-allocation-graph.html
- network
  - ip
    
    Address Resolution Protocol.html
    
    IP Routing Tables.html
    
    IPv4.html
    
    IPv6.html
    
    Internet Control Message Protocol.html
- networking
  - typology
    
    Network Topology.html
- operating-system
- osi
  - OSI.html
  - layer-2
    
    Ethernet.html
  - layer-3
    
    Dynamic Routing.html
    
    IPv4.html
    
    IPv6.html
    
    Internet Protocol.html
    
    Subnetting.html
  - layer-4
    
    TCP.html
- unix
  - Unix Access Control and ACLs.html

Lemma.html

* created: 2026-05-27T23:54
* modified: 2026-05-27T23:56

title

Title

description

Description

Lemma

A minor, proven proposition which is used in the same why as a axiom is.

index.html

legal-notice.html