log

age author description
2023-06-05 Shinji KONO fix PFOD
2023-06-04 Shinji KONO remove next
2023-06-03 Shinji KONO Added tag current for changeset 2c34f2b554cf
2023-06-03 Shinji KONO Replace and filter projection fix done current
2023-06-02 Shinji KONO ...
2023-06-02 Shinji KONO ...
2023-06-02 Shinji KONO ...
2023-06-01 Shinji KONO ZPmirror
2023-06-01 Shinji KONO ...
2023-06-01 Shinji KONO ZProduct with Replace sup
2023-06-01 Shinji KONO it is a bad idea to use & ( * x , * x ) = osuc x
2023-05-29 Shinji KONO ...
2023-05-29 Shinji KONO ...
2023-05-28 Shinji KONO ...
2023-05-27 Shinji KONO ...
2023-05-22 Shinji KONO ...
2023-05-20 Shinji KONO fix Replacement
2023-05-20 Shinji KONO remove import zf
2023-05-13 Shinji KONO ...
2023-04-06 Shinji KONO ...
2023-04-06 Shinji KONO ...
2023-04-06 Shinji KONO ...
2023-04-06 Shinji KONO P x Q ⇆ Q x P done
2023-04-05 Shinji KONO P x Q done
2023-04-05 Shinji KONO ...
2023-04-05 Shinji KONO ...
2023-04-04 Shinji KONO OrdBijection (& (ZFP A B)) (& (ZFP B A))
2023-04-03 Shinji KONO ...
2023-04-02 Shinji KONO ...
2023-03-29 Shinji KONO ...
2023-03-26 Shinji KONO ...
2023-03-26 Shinji KONO ...
2023-03-23 Shinji KONO ...
2023-03-22 Shinji KONO ...
2023-03-21 Shinji KONO ...
2023-03-21 Shinji KONO ...
2023-03-19 Shinji KONO ...
2023-03-19 Shinji KONO generic filter done
2023-03-19 Shinji KONO ...
2023-03-19 Shinji KONO ...
2023-03-18 Shinji KONO lemma232 (Generic filter is not an element of M)
2023-03-18 Shinji KONO generic filter modification
2023-03-17 Shinji KONO ... filter definition
2023-03-16 Shinji KONO ....
2023-03-16 Shinji KONO ...
2023-03-16 Shinji KONO change to Ideal
2023-03-16 Shinji KONO ...
2023-03-16 Shinji KONO ...
2023-03-15 Shinji KONO ...
2023-03-15 Shinji KONO generic filter done
2023-03-15 Shinji KONO ...
2023-03-15 Shinji KONO ...
2023-03-15 Shinji KONO ...
2023-03-15 Shinji KONO ...
2023-03-14 Shinji KONO ...
2023-03-14 Shinji KONO ...
2023-03-14 Shinji KONO dense done
2023-03-14 Shinji KONO f1 f2 done
2023-03-13 Shinji KONO ...
2023-03-13 Shinji KONO ...