Template entry

Meta

rule basic logical rule
context contex
definiendum definiendum
definition definition
inclusion subset specification
let local definition
range domain specification
for all universal quantification
exists existential quantification
postulate axiom
predicate predicate definition

Elaboration

Alternative definitions

Universal property

Discussion

Theorems

Examples

Reference

Wikipedia: Magma


Entry structure