Chang's Maxima Memo: 함수의 정의, 가정

2015년 5월 25일 월요일

f(x) := ...
fundef(f) Not fundef(f(x))
dispfun(f,g), dispfun(all)
assume() <---> forget(), facts()로 확인.

피드 구독하기: 댓글 (Atom)