trivially#1 (r)

r00481419

type r
lex_filenum 02
def with little effort
examples we can prove trivially that this theorem is false
Outgoing links
Incoming links

Back to the index

Click for the XML entry