blob: a31fc00c666be8baa2c01efaa6c5c922efbcc231 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
+++
title = "Assumed invariant predicates"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e1c4a"]
forwardlinks = []
zettelid = "2e1c4b"
+++
This assumes the invariance of the predicates
|