16 Sep
2023
16 Sep
'23
10:05 p.m.
update! theorem is a statement known to be true. definition not formal.