λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XV-F@3 · XV-F-v3.tex · section · d4e74afa

F0 verdict

Source manifest (Gate F0) › F0 verdict · lines 1683–1691

Back to manuscript

F0: core package incomplete; one identification, three refusals, four candidate displays; no lift for the actual graph is definable.

Gates F1–F4 are not entered for the actual graph.

Displayed formulas in this passage

unlabeled · line 1685
$F0: core package incomplete; one identification, three refusals, four candidate displays; no lift for the actual graph is definable.$

Nearby in this section

proposition: Proposition: F0 fails