File:Phi strict.pdf

From BusyBeaverWiki
Jump to navigation Jump to search

Phi_strict.pdf (file size: 202 KB, MIME type: application/pdf)

Summary

Text writeup of a Lean proof

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeDimensionsUserComment
current08:28, 10 May 2026 (202 KB)DrDisentangle (talk | contribs)Text writeup of a Lean proof

The following page uses this file: