Deduction theorem: Revision history

Jump to navigation Jump to search
Template:FlatlistExternal tools:

Template:Endflatlist


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

29 May 2025

  • curprev 07:1007:10, 29 May 2025 imported>Marc Schroeder 20,639 bytes +20,639 edited reference; no change of content