Deduction theorem: Revision history

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. Template:Nowrap from current version, Template:Nowrap from preceding version, Template:Nowrap, Template:Nowrap, Template:Nowrap

29 May 2025

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